לוגיקה

נושא הקורס

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

רשימות

רשימות לקורס נמצאות כאן. הן יתעדכנו במהלך הקורס (עדכון אחרון: 13:42 ביום חמישי, 16 בנובמבר, 2017)

מקורות נוספים

הספרים הבאים (בין היתר) חופפים חלקית לחומר בקורס

  • A concise introduction to Mathematical Logic, W. Rautenberg
  • Introduction to Mathematical Logic, E. Mendelson
  • A mathematical introduction to Logic, H. B. Enderton
  • Gödel’s Incompleteness theorems, R. M. Smullyan

לקבלת אינטואיציה (וגם לחלק מהפרטים הטכניים) אני ממליץ על הבלוג של גדי

מקור מידע נוסף בעברית הוא אתר הקורס בלוגיקה של עזריאל לוי מהאוניברסיטה העברית.

ההסבר של בולוס על משפט אי השלמות השני במלים בנות הברה אחת

פרטים טכניים

הקורס בקטלוג הקורסים

מרצה

ד"ר משה קמנסקי

פרטי ההרצאות

יום ב 12:00 – 10:00 בגוטמן [32] חדר 309 יום ד 12:00 – 10:00 בגולדברגר [28] חדר 103

שעות קבלה

ב' 12:00-13:00, ג' 9:00-10:00, חדר 104, בניין מתמטיקה (58). חשוב מאד לשאול כל שאלה וללבן כל בעיה ברגע שהיא מופיעה. בנוסף לשעות הקבלה, אפשר לשלוח שאלות בדואל, או לדבר בטלפון.

מטלות בית

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

ניתן לפתור ולהגיש בזוגות. את המטלות ניתן להגיש בשיעור, או בתא הדואר שלי במחלקה למתמטיקה (תא מס’ 53).

המטלות הן חלק חשוב מאד של הקורס. לכל תלמיד שמעונין להבין את החומר מומלץ מאד לפתור אותן ברצינות, ולוודא שהכל מובן.

  • מטלה מס 1, להגשה ב-1 בנובמבר, 2017 (נדחה ל-2 בנובמבר ב-17:30)
  • מטלה מס 2, להגשה ב-8 בנובמבר, 2017 (נדחה ל-9 בנובמבר ב-17:30)
  • מטלה מס 3, להגשה ב-16 בנובמבר, 2017 בשעה 17:30
  • מטלה מס 4, להגשה עד ה-23 בנובמבר, 2017 בשעה 17:30

קביעת הציון

הציון ייקבע באופן הבא:

  • מבחן סופי: 60 נקודות
  • מבחן מחצית: 19 נקודות. מבחן המחצית אינו חובה, והציון בו ייחשב רק אם הוא גבוה מהציון במבחן הסיום (אחרת משקלו יתווסף למשקל מבחן הסיום)
  • תרגילי בית: כל מטלה שווה 3 נקודות. לכן, כדי לקבל ציון מלא בקורס הכרחי לפתור נכון 7 מטלות לפחות. נקודות עודפות יתווספו לציון (אך לא ניתן לקבל יותר מ-100)

כאמור, סך כל הנקודות עשוי להסתכם ליותר מ-100, ובמקרה זה הציון בקורס יהיה 100

פרטי המבחנים

מועד תאריך שעה מקום
מחצית 7 בדצמ 18:00–20:00  
א      
ב