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