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

תואר: בוגר

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

סמסטר: סמסטר א'

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

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

מורה אחראי על הקורס (רכז): פרופ' נעם ניסן
ינאי גונצ'רובסקי

דוא"ל של המורה האחראי על הקורס: yannai@gonch.name

שעות קבלה של רכז הקורס:

מורי הקורס:
פרופ נעם ניסן
מר ינאי גונצ'רובסקי

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

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

לתאור הגישה הפדגוגית, ראו: https://www.cs.huji.ac.il/~noam/logic-exp.pdf

מטרות הקורס:
ראה תוצרי למידה.

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

להבין את מושג הנוסחא.

להבין הוכחות באינדוקציה על בניית נוסחאות.

להבין את הוכחת משפט השלמות של גדל.

דרישות נוכחות (%):
0

שיטת ההוראה בקורס: הרצאה + תרגול עצמי באמצעות שפת התכנות פייתון

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

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

חומר לקריאה נוספת:

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

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