תשפ"ו סמסטר א'

  סילבוס סילבוס מצגות שעורים שעור - מבוא שעור - הגדרת שפת תחשיב הפסוקים שעור - סמנטיקה שעור - גרירה ושקילות לוגית שעור - תחום ההבעה של תחשיב...

  • תשפ"ה סמסטר א'
      סילבוס סילבוס מצגות תרגולים תרגול מבוא - אינדוקציה - מצגות תרגול - אינדוקציה מבנית - מצגות תרגול - סינטקס - מצגות תרגול - סמנטיקה - מצגות ...
  • תשפ"ו סמסטר א'
      סילבוס סילבוס מצגות שעורים שעור - מבוא שעור - הגדרת שפת תחשיב הפסוקים שעור - סמנטיקה שעור - גרירה ושקילות לוגית שעור - תחום ההבעה של תחשיב...