קורסים של שנה ג'
סמסטר א'
אוטומטים ושפות פורמליות (ד"ר פרג' שיבאן)
להורדה לחצו כאן (עדכון אחרון: 05.02.2016)
לוגיקה למדעי המחשב (ד"ר גילי שול)
להורדה לחצו כאן (עדכון אחרון: 26.1.2017).
הסיכום עצמו אינו כולל את תחשיב היחסים.
סיכום בתחשיב היחסים (עדכון אחרון: 28.1.2017)
סמסטר ב'
חישוביות ומורכבות חישובים (ד"ר פרג' שיבאן) (עדכון אחרון: 28.06.2016)
נספח א' - סיכום קצר (כולל משפטים והגדרות מתורת החישוביות) - להורדה לחצו כאן
נספח ב' - תזכורת לגבי הוכחות בשיטת האלכסון - להורדה לחצו כאן
נספח ג' - תזכורות מלוגיקה בולאנית (בשביל סוף תורת הסיבוכיות) - להורדה לחצו כאן
מבוא לבינה מלאכותית (ד"ר אסתר דוד)
