נקודות זכות באוניברסיטה העברית: 2

תואר: מוסמך

היחידה האקדמית שאחראית על הקורס: מתמטיקה

סמסטר: סמסטר ב'

שפת ההוראה: עברית

קמפוס: קרית א"י ספרא

מורה אחראי על הקורס (רכז): שמעון גרטי

דוא"ל של המורה האחראי על הקורס: shimon.garty@mail.huji.ac.il

שעות קבלה של רכז הקורס: ראשון, 9:00 עד 10:00

מורי הקורס:
ד"ר שמעון גרטי

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

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

תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:
התלמידים יוכלו לגשת לחומר מתקדם יותר בתחום.

דרישות נוכחות (%):
אין.

שיטת ההוראה בקורס: הרצאה.

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

חומר חובה לקריאה:
אין.

חומר לקריאה נוספת:
א. Richard Kaye, Models of Peano Arithmetic.

ב. Roman Kossak and James Schmerl, The Structure of Models of Peano Arithmetic.

הערכת הקורס - הרכב הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה 0 %
הרצאה0 %
השתתפות 0 %
הגשת עבודה 100 %
הגשת תרגילים 0 %
הגשת דו"חות 0 %
פרויקט מחקר 0 %
בחנים 0 %
אחר 0 %

מידע נוסף / הערות: