| 0618.7458 לוגיקה למתקדמים | |
|---|---|
| ד"ר אלי דרזנר , מר עפר שמאי | שיעור |
| מטרת הקורס: להעמיק את הכרת התלמידים בנושאי הלוגיקה, מטרותיה, שיטותיה, ומשמעותה הפילוסופית. בין הנושאים שיידונו:
1. הצגה אכסיומטית של תחשיב פסוקים כמערכת לוגוציסטית. 2. סמנטיקה קלאסית והשימוש בשיטות סמנטיות להוכחות במטא-שפה, הוכחות שלמות. 3. נושאים שונים מלוגיקה לא-סטנדרטית; למשל, לוגיקה רב-ערכית ולוגיקה עמומה. הציון משותף לשיעור ולתרגיל. | |
| מועדי הבחינות: | |
| מועד א' של סמסטר א' יתקיים ביום 25/02/2004 בשעה 12:30 | |
| מועד ב' של סמסטר א' יתקיים ביום 05/05/2004 בשעה 18:00 | |