לוגיקה למדעי המחשב
קורס 20466 · 4 נ״ז
מועדי בחינות
האוניברסיטה עוד לא פרסמה מועדי בחינות לקורס הזה. נעדכן כאן ברגע שיתפרסמו.
לפי לוח הבחינות של האוניברסיטה הפתוחה; ייתכנו שינויים, והמועד שלכם מופיע בהזמנה לבחינה. כל מועדי הבחינות
לקורס הזה עדיין אין קבוצה בקהילה. רוצים שנפתח? כתבו לנו באחת הקבוצות.
פרטי הקורס
- נקודות זכות
- 4 נקודות זכות ברמה רגילה
- רמה
- רגילה
- שיוך
- מדעים / מתמטיקה
מתי הקורס נפתח
- 2027סמסטר א – נפתחסמסטר ב – נפתחקיץ – לא מתוכנן
- 2028סמסטר א – נפתחסמסטר ב – נפתחקיץ – לא מתוכנן
לפי תכנון האוניברסיטה; שינויים אפשריים.
קישורים
ידע קודם
ידע קודם דרוש: שני קורסים במתמטיקה, כולל הקורס: מתמטיקה בדידה: תורת הקבוצות, קומבינטוריקה ותורת הגרפים ושני קורסים במדעי המחשב.
על הקורס
שיוך נוסף: מדעים / מדעי המחשב
הקורס דן בשפות הפורמליות הייעודיות ובשימוש בהן. במרכז הקורס השפה החשובה ביותר – שפת היחסים המתמטית.
מטרות הקורס
הקורס נועד להנחיל הבנה של מנגנון השפות הפורמליות הייעודיות והכרה של תפקידן במדעי המחשב. הסטודנטים ילמדו להבחין בין תחביר לסמנטיקה, ובין דרכי הטיפול בעצמים תחביריים לעומת עצמים סמנטיים. הקורס מקנה גם את יסודות הלוגיקה המתמטית הקלאסית, מבסס את מושג ההוכחה הפורמלית ומציג את הלוגיקה המשמשת במדעי המחשב לאפיון ואימות תכניות ולניהול בסיסי נתונים.
נושאי הלימוד
- מבוא – שפות טבעיות ופורמליות
- השפה הפסוקית – דקדוק ומשמעות
- תחשיב הפסוקים – תורת ההוכחה, משפטי השלמות הנאותות והקומפקטיות
- שפת הפְּרֶדִיקָטִים – דקדוק ומשמעות
- תחשיב הפְּרֶדִיקָטִים – תורת ההוכחה, משפטי השלמות הנאותות והקומפקטיות
- מבוא לתורת המודלים
- מבני שמות (של הרברנד)
- משפט אי השלמות של גדל ומשמעותו
- לוגיקה רב-סוגית ולוגיקה מסדר שני
- גדירות בלוגיקה מסדר ראשון ובלוגיקה מסדר שני
צוות הקורס
- פיתוח הקורס
- פרופ' יורם הירשפלד, יוסי קאופמן; יהודית גוגנהיימר (עריכה)
- יועצים
- פרופ' נחום דרשוביץ, פרופ' דוד הראל, פרופ' עמירם יהודאי, ד"ר לארי מנביץ'
פרטי הקורס מקטלוג האוניברסיטה הפתוחה, עודכנו ב-4.11.2026.