|
1. hafta
|
Önerme ve Çıkarım Kavramları, Önerme Eklemleri Mantığının Sembolik Dili |
|
2. hafta
|
Sembolleştirme, Günlük dile çeviri |
|
3. hafta
|
Sembolleştirme, Günlük dile çeviri (Devam) |
|
4. hafta
|
Doğruluk Tabloları, Doğruluk Tablolarıyla Tutarlılık ve Geçerlilik Denetlemesi |
|
5. hafta
|
Doğal Türetim Yöntemine Giriş. Koşullu Kanıtlamalar |
|
6. hafta
|
Koşullu ve Çürütmeli Kanıtlamalar |
|
7. hafta
|
Koşullu ve Çürütmeli Kanıtlamalar (Devam) |
|
8. hafta
|
Karşılıklı Koşul Önermelerinin Türetimi (Devam) |
|
9. hafta
|
Vize |
|
10. hafta
|
Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi |
|
11. hafta
|
Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi (Devam) |
|
12. hafta
|
Tikel evetlemeli, Tümel Evetlemeli Önermelerin Türetilmesi, Kısaltılmış Türetimler |
|
13. hafta
|
Yanlışlayıcı Yorumlama Bulma |
|
14. hafta
|
DNF-CNF, İkililik |
Anadolu Üniversitesi 
Türkçe
İngilizce