| Ders Dili |
İngilizce |
| 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ı |
Bu dersin ön koşulu ya da eş koşulu bulunmamaktadır. |
| Önerilen Dersler |
Yok |
| Okuma Listesi |
Grünberg, T. Modern Logic, METU Press, 2002 |
| Değerlendirme |
Ara sınav ve final |
| Staj & Uygulama |
Bu ders için uygun değildir. |
| Katalog İçeriği |
Önerme ve Çıkarımın Tanımları; Geçerli Çıkarımın Tanımı; Önermeler Mantığının Dili; Önerme Eklemleri; Doğruluk Fonksiyonları ve Doğruluk Tabloları; Tutarlılık; Geçerlilik; Eşdeğer Önermeler; Sembolleştirme ve Doğal Dile Çevirme; Yerine Koyma; Doğal Türetim Yöntemi; Yanılgılar; Kısaltılmış Türetimler; Geçersiz Önermeler; Doğruluk Değeri Çözümlemesi; Quine'ın Yöntemi; Normal Formlar; Önerme Eklemleri Mantığının Sınırlılıkları; Niceleyiciler; Değişkenler; Yüklemler ve Adlar; Niceleme Mantığının Dili; Serbest ve Bağlı Değişkenlerin Tanımı; Yerine Koyma; Sembolleştirme ve Doğal Dile Çevirme; Doğal Türetim Yönteminin Niceleme Mantığına Genişletilmesi. |
Anadolu Üniversitesi 
Türkçe 
İngilizce