מידע על תורת החישוביות
שם מקצוע
תורת החישוביות
מספר מקצוע
236343
אתר הקורס
נקודות
3
שעות שבועיות
הרצאה
2
תרגיל
1
מעבדה
0
סמינר/פרויקט
1
קטלוג
סילבוס
מכונות טורינג, מודלי חישוב שונים ושקילותם למכונות טורינג. התזה של צ'רץ. מושג המכונה האוניברסלית. בעיות בלתי כריעות. סיבוכיות זמן וסיבוכיות מקום. מושג הרדוקציה והרדוקציה הפולינומית. חסמים לחישוב דטרמיניסטי ולא דטרמיניסטי והקשר ביניהם. משפט קוק.
מקצועות קדם
מקצועות ללא זיכוי נוסף
מקצועות ללא זיכוי נוסף (מוכלים)
מידע סמסטריאלי אביב 2020/21(תשפ"א)
עבור לסמסטר
אחראים
פרופ. איל קושילביץ
הערות
בקורס ייאכפו דרישות קדם וצמודים
המתפרסמים באתר לימודי הסמכה.
המתפרסמים באתר לימודי הסמכה.
מועדי בחינות
מועד א
בתאריך 21.07.2021 יום ד משעה 9 עד השעה 12
מועד ב
בתאריך 10.10.2021 יום א משעה 13 עד השעה 16
מיקום
קבוצות רישום
| סוג | יום | שעה | בניין | חדר |
| הרצאה תרגול | ג א | 10:3 - 12:3 15:3 - 16:3 | טאוב | 6 |
| הרצאה תרגול | ג ב | 10:3 - 12:3 14:3 - 15:3 | טאוב טאוב | 6 6 |
| הרצאה תרגול | ג ג | 10:3 - 12:3 15:3 - 16:3 | טאוב | 6 |
| הרצאה תרגול | ג ה | 10:3 - 12:3 12:3 - 13:3 | טאוב טאוב | 6 6 |
| הרצאה תרגול | א ד | 12:3 - 14:3 14:3 - 15:3 | טאוב חומרים | 2 303 |
| הרצאה תרגול | א ד | 12:3 - 14:3 10:3 - 11:3 | טאוב טאוב | 2 4 |