|
1. hafta |
Klasik önermeler mantığı konularının tekrarı |
|
2. hafta |
Mantıksal modalite, modal önermeler, modal önermeler mantığının dili |
|
3. hafta |
Modal önermeler mantığı için Kripke semantiği |
|
4. hafta |
Modal önermeler mantığı için Kripke semantiği (devam) |
|
5. hafta |
Modal önermeler mantığı için doğal türetim sistemi |
|
6. hafta |
Modal önermeler mantığı için doğal türetim sistemi (devam) |
|
7. hafta |
Modal önermeler mantığı için doğal türetim sistemi (devam) |
|
8. hafta |
Geçmiş konuların tekrarı |
|
9. hafta |
Vize |
|
10. hafta |
Klasik niceleme mantığı konularının tekrarı |
|
11. hafta |
Modal niceleme mantığı için Kripke semantiği |
|
12. hafta |
Modal önermeler mantığı için Kripke semantiği (devam) |
|
13. hafta |
Nicelemeli modal mantık için doğal türetim sistemi |
|
14. hafta |
Nicelemeli modal mantık için doğal türetim sistemi (devam) |
Anadolu Üniversitesi 
Türkçe 
İngilizce