| Ders Dili |
Türkçe |
| Ders Türü |
Seçmeli Dersler |
| Öğretim Elemanları |
DOÇ. DR. İSKENDER TAŞDELEN |
| Dersin Veriliş Biçimi |
Bu ders sadece yüz yüze eğitim şeklinde yürütülmektedir. |
| Dersin Önkoşulları |
Sembolik Mantık I ve Sembolik Mantık II derslerini veya eşdeğerlerini alıp başarılı olmak bu derste başarılı olmak için önkoşuldur. |
| Önerilen Dersler |
Yok |
| Okuma Listesi |
Geoffrey Hunter, Metalogic: an introduction to the metatheory of standard first order logic, Macmillan, 1971 |
| Değerlendirme |
Ara sınav ve final |
| Staj & Uygulama |
Bu ders için uygun değildir. |
| Katalog İçeriği |
Biçimsel Diller, Biçimsel Sistemler, Mantık Sistemleri: Aksiyomlar, Çıkarım kuralları, Tümdengelim; Klasik Önermeler Mantığının Semantik Özellikleri: Doğruluk Fonksiyonu Semantiğine Göre Kompaktlık; Klasik Önermeler Mantığının Kanıt Kuramsal Özellikleri: Tümdengelim Teoremi; Klasik Önermeler Mantığı için Tamlık Teoremi; Klasik Niceleme Mantığının Semantik Özellikleri: Semantik Kompaktlık; Klasik Niceleme Mantığının Kanıt Kuramsal Özellikleri: Klasik Nicelemeli Mantık için Tümdengelim Teoremi; Klasik Niceleme Mantığı için Tamlık Teoremi. |
Anadolu Üniversitesi 
Türkçe 
İngilizce