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

 סילבוס

סילבוס

מצגות שעורים

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

מצגות תרגולים

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

סרטונים

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

תרגילי בית

תרגיל 1 פתרון - תרגיל 1 תרגיל 2 פתרון - תרגיל 2 תרגיל 3 פתרון - תרגיל 3 תרגיל 4 פתרון - תרגיל 4 תרגיל 5 פתרון - תרגיל 5 תרגיל 6 פתרון - תרגיל 6 תרגיל 7 פתרון תרגיל 7 תרגיל 8 תרגיל 9

סיכומים

נקודות עיקריות בשיעורים דף נוסחאות