Akademik Dersler - İçerik

Haftalar	Konular
1. hafta	Biçimsel diller ve biçimsel sistemler
2. hafta	Yapısal tümevarım
3. hafta	Aksiyomatik sistemler
4. hafta	Klasik önermeler mantığı için bir aksiyomatik sistem (Hilbert sistemi)
5. hafta	Önermeler mantığı için sağlamlık ve kompaktlık teoremleri ve sonuçları.
6. hafta	Önermeler mantığı için tamlık teoremi ve sonuçları
7. hafta	Önermeler mantığı için tümdengelim teoremi
8. hafta	Geçmiş konuların tekrarı
9. hafta	Vize
10. hafta	Klasik niceleme mantığı için bir aksiyomatik sistem (Hilbert sistemi)
11. hafta	Klasik niceleme mantığı için sağlamlık ve kompaktlık teoremleri ve sonuçları.
12. hafta	Klasik niceleme mantığı için sağlamlık ve kompaktlık teoremleri ve sonuçları. (devam)
13. hafta	Önermeler mantığı için tamlık teoremi ve sonuçları
14. hafta	Önermeler mantığı için tamlık teoremi ve sonuçları (devam)