| 0618.2893 תחשיב לוגי חדש לשפה הטבעית | |
|---|---|
| ד"ר חנוך בן ימי | שיעור |
| בשיעור נלמד תחשיב לוגי חדש, השונה משמעותית מתחשיב הפרדיקטים, אולם מקביל לו בכוחו ההיסקי. התחשיב מבוסס על ניתוח סמנטי של השפה הטבעית, אותו אני מפתח בספרי Logic and Natural Language
הקורס יפתח במבוא מרוכז לסמנטיקה האלטרנטיבית, שלאחריה נפתח בהרחבה את השיטה החדשה. ניישם את השיטה בתחומים שונים: הוכחת תקפות היסקי הלוגיקה האריסטוטלית, היסקים המערבים משפטים עם מספר צרופים שמניים מכומתים, תחשיב היחסים, משפטי זהות, ועוד. נוכיח את עקביות המערכת, ואפשר שנוכיח אף את שלמותה. הקורס יסתיים במבחן כיתה. | |
| מועדי הבחינות: | |
| מועד א' של סמסטר א' יתקיים ביום 05/02/2004 בשעה 9:00 | |
| מועד ב' של סמסטר א' יתקיים ביום 05/03/2004 בשעה 9:00 | |