234292 -
לוגיקה למדעי המחשב
|
|
|
|
עבודת בית |
פרויקט או סמינר |
מעבדה |
תרגול |
הרצאה |
|
|
|
|
1 |
2 |
שעות שבועיות |
|
קביעת הציון עפ"י מעקב במשך הסמסטר ובחינה סופית.
|
234129
|
מב.לתורת הקבוצות ואוטומטים למדמ"ח |
|
|
|
מקצועות קדם
|
|
104002
|
מושגי יסוד במתמטיקה |
|
( |
או |
|
) |
104293
|
תורת הקבוצות |
ו - |
|
|
|
|
104290
|
תורת הקבוצות |
|
|
או |
|
|
|
044114
|
מתמטיקה דיסקרטית ח' |
|
|
|
מקצועות ללא זיכוי נוסף
|
|
094345
|
מתמטיקה דיסקרטית ת' |
|
|
|
|
|
094346
|
מתמטיקה דיסקרטית |
|
|
|
|
|
106156
|
לוגיקה מתמטית |
|
|
|
|
|
234293
|
לוגיקה ותורת הקבוצות למדעי המחשב |
|
|
|
|
תחשיב הפסוקים ותחשיב היחסים: הגדרת התחשיבים, סמנטיקה, מערכות הוכחה, משפטי שלמות ונאותות, משפטי קומפקטיות ושימושיהם.
מועדי בחינות
02/2020
, 2020/2021 אביב תשפ"א
שעת בחינה |
יום |
תאריך |
מועד |
|
ו |
16.07.2021 |
א |
|
ג |
12.10.2021 |
ב |
מערכת שעות לסמסטר 02/2020
, 2020/2021 אביב תשפ"א
חדר |
בניין |
מועד |
יום |
מרצה |
תרגיל הרצאה |
מס. |
קבוצת רישום |
|
|
14:30-16:30 |
ב |
ד"ר ויזל יקיר |
הרצאה |
10 |
11 |
|
|
09:30-10:30 |
ג |
|
תרגול |
11 |
|
|
|
14:30-16:30 |
ב |
ד"ר ויזל יקיר |
הרצאה |
10 |
12 |
|
|
15:30-16:30 |
ד |
|
תרגול |
12 |
|
|
|
14:30-16:30 |
ב |
ד"ר ויזל יקיר |
הרצאה |
10 |
13 |
|
|
12:30-13:30 |
ה |
|
תרגול |
13 |
|
|
|
14:30-16:30 |
ב |
ד"ר ויזל יקיר |
הרצאה |
10 |
14 |
|
|
12:30-13:30 |
ג |
|
תרגול |
14 |
נערך בתאריך 19/01/2021 בשעה 08:05:03