| 0618.7458 לוגיקה - שיעור המשך | |
|---|---|
| ד"ר אלי דרזנר | שיעור+תרגיל |
| מטרת הקורס: להעמיק את הכרת התלמידים בנושאי הלוגיקה, מטרותיה, שיטותיה, ומשמעותה הפילוסופית. תכנית הקורס:
א. המערכת P1 - תחשיב הפסוקים הקלאסי 1. אקסיומות, כללי גזירה, הוכחות. 2. משפט הדדוקציה. 3. סמנטיקה פורמלית, נאותות ושלמות. 4. עקביות, שלמות (סינטקטית), כריעות ואי-תלות. ב. תחשיב הפרדיקאטים הקלאסי – העמקה והרחבה 5. תחשיב הפרדיקטים מסדר ראשון: נאותות ושלמות. 6. דוגמאות למערכות אקסיומטיות. 7. משפט אי השלמות של גדל; מכונות טיורינג ואי-כריעות של תחשיב הפרדיקטים. ג. מעבר ללוגיקה הקלאסית (הרחבות של הלוגיקה הקלאסית; לוגיקות לא קלאסיות) ד. פילוסופיה של הלוגיקה (ביקורת הלוגיקה הקלאסית; מהי לוגיקה?) חובות התלמידים: השתתפות, הגשת תרגילים. ציון: בחינה (85%) ותרגילים (15%) | |
| דרישות קדם: מבוא כללי ללוגיקה + מבוא ללוגיקה פילוסופית | |
| מועדי הבחינות: | |
| מועד א' של סמסטר א' יתקיים ביום 21/02/2006 בשעה 12:30 | |
| מועד ב' של סמסטר א' יתקיים ביום 29/03/2006 בשעה 18:00 | |