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