|
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