מרצה/ים:
פרופ' אלכסנדר רבינוביץ
מתרגל/ים:
יותם אפרים
סיכומים:
Sunday, March 19, 2017
נושאי השיעור:
- מטרת הלוגיקה
- קשרים, אלפבית
- נוסחאות
- סדרת בנייה, עץ בנייה
- אינדוקציה מבנית
Wednesday, April 19, 2017
נושאי השיעור:
- שלמות פונקציונאלית
- צורות נורמליות CNF,DNF
- מערכת הוכחה בסגנון הילברט (לא סיימנו)
Sunday, April 30, 2017
נושאי השיעור:
- משפט Debrnin Erdo
- לוגיקה מסדר ראשון - תורת הפרדיקטים
- עקרון אינדוקציה מבנית על שמות עצם ועל נוסחאות
Wednesday, May 10, 2017
נושאי השיעור:
- מושגים במשתנים
- פירוש לסימונים
- הגדרות - ספיקות, נכונות, תקפות
Wednesday, June 21, 2017
נושאי השיעור:
- משפט על קשר בין HPC לHC
- דדוקציה
- תרגילים על כל מיני נושאים