לוגיקה

תקציר

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

רשימות (מתעדכן מדי פעם, עדכון אחרון: 2024-12-02 )

מטלות

להגשה עד חמישי בערב שבוע אחרי שניתנו:

• מטלה 1, פתרון חלקי
• מטלה 2
• מטלה 3
• מטלה 4
• מטלה 5
• מטלה 6