מידע כללי
תחשיב הפסוקים ותחשיב היחסים: הגדרת התחשיבים, סמנטיקה, מערכות הוכחה, משפטי שלמות ונאותות, משפטי קומפקטיות ושימושיהם.
פקולטה: מדעי המחשב
|תואר ראשון
מקצועות קדם
(104002 - מושגי יסוד במתמטיקה ו- 104293 - תורת הקבוצות) או 104290 - תורת הקבוצות או 234129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח
מקצועות ללא זיכוי נוסף
44114 - מתמטיקה דיסקרטית ח' 94345 - מתמטיקה דיסקרטית ת' 94346 - מתמטיקה דיסקרטית 106156 - לוגיקה מתמטית 234293 - לוגיקה ותורת הקבוצות למדעי המחשב
ספרי המקצוע
- A mathematical introduction to logic - Enderton, Herbert B.
- A mathematical introduction to logic - Enderton, Herbert B.
- A mathematical introduction to logic [electronic resource] - Enderton, Herbert B.
- Introduction to mathematical logic - Mendelson, Elliott,
- Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia
- Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia,
- Mathematical logic - Ebbinghaus, Heinz-Dieter
- Mathematical logic - Shoenfield, Joseph R.
- Mathematical Logic [electronic resource] - Ebbinghaus, H.-D.
- Naive set theory - Halmos, Paul R.
- Naive Set Theory [electronic resource] - Halmos, P. R.
- Naive set theory. - Halmos, Paul R.
- Notes on set theory - Moschovakis, Yiannis N.
- Notes on Set Theory [electronic resource] - Moschovakis, Yiannis.
- Set theory : an introduction - Vaught, Robert L.
מידע סמסטריאלי
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
אחראים
דר. ויזל יקיר
מבחנים
מועד א: 06-09-2024 מועד ב: 27-09-2024קבוצות רישום
|
|
|
|
|
|
|
|
|
|
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
אחראים
דר. שינולד שרי
מבחנים
מועד א: 19-04-2024- אולמן 700. 701. 702. 704. 705. 706. 707. 708. 800. 801. 802. 803. 804. 805. 806.
קבוצות רישום
|
|
|
|
|
|
|
|
|
|
|
|
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
אחראים
דר. ויזל יקיר
קבוצות רישום
|
|
|
|
|
|
|
|
|
|
|
|