קורסים של שנה ג'

סמסטר א'

אוטומטים ושפות פורמליות (ד"ר פרג' שיבאן)

להורדה לחצו כאן (עדכון אחרון: 05.02.2016)

לוגיקה למדעי המחשב (ד"ר גילי שול)

להורדה לחצו כאן (עדכון אחרון: 26.1.2017).

הסיכום עצמו אינו כולל את תחשיב היחסים.

סיכום בתחשיב היחסים (עדכון אחרון: 28.1.2017)

סמסטר ב'

חישוביות ומורכבות חישובים (ד"ר פרג' שיבאן) (עדכון אחרון: 28.06.2016)

סיכום מלא - להורדה לחצו כאן

נספח א' - סיכום קצר (כולל משפטים והגדרות מתורת החישוביות) - להורדה לחצו כאן

נספח ב' - תזכורת לגבי הוכחות בשיטת האלכסון - להורדה לחצו כאן

נספח ג' - תזכורות מלוגיקה בולאנית (בשביל סוף תורת הסיבוכיות) - להורדה לחצו כאן

מבוא לבינה מלאכותית (ד"ר אסתר דוד)

להורדת הסיכום - לחצו כאן