חורף 2016

• נושאים מנהליים
• מה זה לוגיקה?
• XB,F : יחידות ומינימליות
• משפט ההוכחה באינדוקציה

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

• מושגים סמנטיים עבור קבוצות פסוקים
• תכונות של גרירה לוגית
• צורות נורמליות:
  • Negation Normal Form
  • Conjuctive Normal Form
  • Disjunctive Normal Form
• סמנטיקה של תחשיב הפסוקים כמשחק

• מערכת ההוכחה HPC
• אקסיומות וכללי היסק
• תכונות של מערכת הוכחה
• משפט הדדוקציה
• משפט הדיכוטומיה
• הוכחת נאותות של HPC, התחלה של הוכחת שלמות 

(לא היתה הרצאה בשבוע 5)

• תזכורת של מערכת ההוכחה HPC
• תרגילים על מערכות הוכחה

• משפט הקומפקטיות
• משפט Erdos-DeBnjin על צביעה של גרף
• תרגילים סביב משפט הקומפקטיות

• תרגילים על גדירות

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

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

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

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

• משחקי Ehrenfeucht–Fraïssé
• משפט טרכטנברוט

• תרגילי חזרה