מידע על לוגיקה למדעי המחשב
שם מקצוע
לוגיקה למדעי המחשב
מספר מקצוע
234292
אתר הקורס
נקודות
3
שעות שבועיות
הרצאה
2
תרגיל
1
מעבדה
0
סמינר/פרויקט
0
קטלוג
סילבוס
תחשיב הפסוקים ותחשיב היחסים: הגדרת התחשיבים, סמנטיקה, מערכות הוכחה, משפטי שלמות ונאותות, משפטי קומפקטיות ושימושיהם.
מקצועות קדם
מקצועות ללא זיכוי נוסף
מידע סמסטריאלי חורף 2020/21(תשפ"א)
עבור לסמסטר
אחראים
פרופ. חבר קרן הלל צנזור
הערות
מועדי בחינות
מועד א
בתאריך 07.02.2021 יום א
מועד ב
בתאריך 10.03.2021 יום ד
מיקום
קבוצות רישום
| סוג | יום | שעה | בניין | חדר |
| הרצאה תרגול | א א | 10:3 - 12:3 14:3 - 15:3 | טאוב | 9 |
| הרצאה תרגול | א ב | 10:3 - 12:3 15:3 - 16:3 | טאוב טאוב | 9 8 |
| הרצאה תרגול | א ד | 10:3 - 12:3 17:3 - 18:3 | טאוב טאוב | 9 8 |
| הרצאה תרגול | ב ב | 10:3 - 12:3 12:3 - 13:3 | טאוב טאוב | 1 4 |
| הרצאה תרגול | ב ד | 10:3 - 12:3 10:3 - 11:3 | טאוב טאוב | 1 6 |
| הרצאה תרגול | ב ג | 10:3 - 12:3 14:3 - 15:3 | טאוב טאוב | 1 5 |