|
1. hafta |
Niceleme. Niceleme mantığının biçimsel dili. Terimler ve nicelenmiş önermeler. |
|
2. hafta |
Serbest ve bağlı değişkenler. Yerine koyma |
|
3. hafta |
Sembolleştirme ve günlük dile çevirme |
|
4. hafta |
Sembolleştirme-Günlük dile çevirme (devam) |
|
5. hafta |
Niceleme mantığında doğal türetim yöntemi |
|
6. hafta |
Niceleme mantığında doğal türetim yöntemi (devam) |
|
7. hafta |
Niceleme mantığında doğal türetim yöntemi (devam) |
|
8. hafta |
Niceleme mantığında doğal türetim yöntemi (devam) |
|
9. hafta |
Niceleme mantığında doğal türetim yöntemi (devam) |
|
10. hafta |
Niceleme mantığında doğal türetim yöntemi (devam) |
|
11. hafta |
Birinci derece yapılar. Terimlerin birinci derece yapılarda değerleri. Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik |
|
12. hafta |
Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik |
|
13. hafta |
Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik. Model-Karşı model bulma |
|
14. hafta |
Prenex normal form |
Anadolu Üniversitesi 
Türkçe 
İngilizce