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