לוגיקה

נושא הקורס

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

רשימות

רשימות לקורס נמצאות כאן. הן יתעדכנו במהלך הקורס (עדכון אחרון: 15:48 ביום ראשון, 17 בספטמבר, 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

שעות קבלה

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

מטלות בית

המטלות יתפרסמו מדי שבוע ביום רביעי. יש להגישן ביום רביעי בשבוע שלאחריו, עד סוף השיעור.

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

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

קביעת הציון

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

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

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

פרטי המבחנים

מועד תאריך שעה מקום
מחצית      
א      
ב