לוגיקה

תקציר

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

רשימות (מתעדכן מדי פעם, עדכון אחרון: 2022-11-29 )

מטלות

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

• מטלה 1
• מטלה 2
• מטלה 3
• מטלה 4
• מטלה 5
• מטלה 6
• מטלה 7
• מטלה 8
• מטלה 9
• מטלה 10
• מטלה 11
• מטלה 12