|
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