|
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