|
נקודות זכות באוניברסיטה העברית:
6
תואר:
בוגר
היחידה האקדמית שאחראית על הקורס:
מדעי הקוגניציה
סמסטר:
סמסטר א'
שפת ההוראה:
עברית
קמפוס:
קרית א"י ספרא
מורה אחראי על הקורס (רכז):
אליעזר זילברפניג
שעות קבלה של רכז הקורס:
ייקבע בהמשך
מורי הקורס:
ד"ר אליעזר זילברפניג
מר יניב אביר
גב לוטם אלבר
תאור כללי של הקורס:
הקורס הוא מבוא ללוגיקה פורמלית, ונלמדות בו הטכניקות היסודיות של תחשיב הפסוקים ותחשיב היחסים, משפטי שלמות ונאותות, ומושגים יסודיים בפילוסופיה של הלוגיקה.
מטרות הקורס:
הhכרות עם הרעיונות הבסיסיים של הלוגיקה המודרנית ושמושיה.יכולת לקרוא טקסטים המכילים הצרנות וטיעונים פורמליים.
לתלמידים המעוניינים בכך, מתן רקע מספיק המאפשר המשך ללימודים מתקדמים בלוגיקה.
תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:
להשתמש במערכות היסק כדי להכריע תכונות לוגיות של פסוקים ושל טיעונים. לנתח טיעונים בשפה הטבעית מבחינה לוגית ולזהות כשלים או בעיות, לזהות חשיבה פורמלית מדויקת ונאותה.
דרישות נוכחות (%):
0
שיטת ההוראה בקורס:
הוראה פרונטלית ותרגיל
רשימת נושאים / תכנית הלימודים בקורס:
1. תחשיב הפסוקים- סינתקס, סמנטיקה, מערכות הסק, משפטי שלמות ונאותות,
2. תחשיב היחסים מסדר ראשון ומערכת הסק, שלמות ונאותות.
3. מבוא לתחשיב מסדר שני.
חומר חובה לקריאה:
אין
חומר לקריאה נוספת:
לוי, עזריאל. לוגיקה מתמטית א, אקדמון, ירושלים 1997.
הערכת הקורס - הרכב הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה 100 %
הרצאה0 %
השתתפות 0 %
הגשת עבודה 0 %
הגשת תרגילים 0 %
הגשת דו"חות 0 %
פרויקט מחקר 0 %
בחנים 0 %
אחר 0 %
מידע נוסף / הערות:
|
