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

תואר: בוגר

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

סמסטר: שנתי

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

קמפוס: הר הצופים

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

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

שעות קבלה של רכז הקורס: יום רביעי 10:30-12:00

מורי הקורס:
ד"ר אהרן-דוד סיגל,
מר דניאל ביננבוים,
מר בצלאל חיימוביץ,
מר טל חרמון,
מר אמיר לירון,
מר נועם אורן,
מר שאול שסג

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

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

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

דרישות נוכחות (%):
בתרגילים

שיטת ההוראה בקורס: הרצאה + תרגיל

רשימת נושאים / תכנית הלימודים בקורס:
בהמשך

חומר חובה לקריאה:
בהמשך

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

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

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