מידע על תורת החישוביות
שם מקצוע
תורת החישוביות
מספר מקצוע
236343
אתר הקורס
קטלוג
סילבוס
מכונות טורינג, מודלי חישוב שונים ושקילותם למכונות טורינג. התזה של צ'רץ. מושג המכונה האוניברסלית. בעיות בלתי כריעות. סיבוכיות זמן וסיבוכיות מקום. מושג הרדוקציה והרדוקציה הפולינומית. חסמים לחישוב דטרמיניסטי ולא דטרמיניסטי והקשר ביניהם. משפט קוק.
מקצועות קדם
מקצועות ללא זיכוי נוסף
מקצועות ללא זיכוי נוסף (מוכלים)
לא ניתן לברר מידע סמסטריאלי לסמסטר 201201
מידע סמסטריאלי חורף 2012/13(תשע"ג)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה