22–2021–א

פרופ' אסף חסון

שעה ומקום:

  • יום ב 17:00 - 15:00
  • יום ד 12:00 - 10:00

נושאי לימוד

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

רשימת הקורסים האוניברסיטאית: 201.1.6061