הלוגיקה כתיאור של דרך החשיבה המתמטית וההוכחה המתמטית. תחשיב הפסוקים: הגדרת הקשרים, האינפטרפרציה שלהם בלוחות אמת. נוסחאות בנויות היטב. מערכת הוכחה. השלמות של המערכת הזאת. תחשיב היחסים: נוסחאות בנויות היטב. מבנים, השמות, מודלים. מערכת הוכחה. שלמות. משפט השלמות של גדל. אלף-0 ואלף-1 קטגוריות. תורת המספרים: מערכת אקסיומות לתורת המספרים (מערכת פאנו או מערכת אחרת). מודלים לא סטנדרטיים לתורת המספרים. משפט אי השלמות של גדל. כריעות, רקורסיביות, התיזה של צ'רץ'.

פקולטה: מתמטיקה
|תואר ראשון |תארים מתקדמים
מקצועות קדם

(104002 - מושגי יסוד במתמטיקה ו- 104293 - תורת הקבוצות) או 104290 - תורת הקבוצות

מקצועות ללא זיכוי נוסף

234292 - לוגיקה למדעי המחשב 234293 - לוגיקה ותורת הקבוצות למדעי המחשב

מידע סמסטריאלי

שעות שבועיות

3 נקודות אקדמיות • 3 שעות הרצאה

אחראים

פרופ. חבר מורן שי

הערות
  • קבוצה 77 סגורה לסיניים בלבד.

מבחנים
מועד א: 15-09-2024 מועד ב: 01-11-2024
קבוצות רישום
10
הרצאה חמישי 09:30 - 12:30 אולמן 701 | פרופ. חבר מורן שי
77
קבוצת רישום אין מידע אודות שעות לימוד
שעות שבועיות

3 נקודות אקדמיות • 3 שעות הרצאה


קבוצות רישום
77
קבוצת רישום אין מידע אודות שעות לימוד
שעות שבועיות

3 נקודות אקדמיות • 3 שעות הרצאה

אחראים

פרופ. חבר מורן שי

הערות
  • קבוצה 77 סגורה לסיניים בלבד

מבחנים
מועד א: 23-07-2023 13:00 - 16:00
  • אולמן 600. 601. 602.
מועד ב: 12-10-2023 09:00 - 12:00
  • אולמן 300. 303.

בחנים
מועד א: 02-06-2023 09:00 - 11:00
  • אולמן 701, 705, 707,

קבוצות רישום
10
הרצאה שני 09:30 - 12:30 אולמן 201 | פרופ. חבר מורן שי
77
קבוצת רישום אין מידע אודות שעות לימוד