| Ders Dili |
Türkçe |
| Ders Türü |
Mesleki 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 |
|
| Değerlendirme |
Ara sınav ve final |
| Staj & Uygulama |
Bu ders için uygun değildir. |
| Katalog İçeriği |
Zorunluluk ve Olanaklılık Kavramları; Doğrusal Olmayan Önerme Eklemleri; Kiplikler; Kiplik Mantığının Dili; Olanaklı Dünyalar Kavramı; Kripke Modelleri; Bir Olanaklı Dünyada Doğruluk; Bir Kripke Modelinde Doğruluk; Kiplik Mantığı Sistemleri; Tablo Kuralları; Tablolarda Açık ve Kapalı Dalların Belirlenmesi; Tabloların Karar Verme Yöntemi Olarak Değerlendirilmesi; Tablo Yöntemiyle Model ve Karşı-model Bulunması; Varlık Mantığı; Bilgi Mantığı; Ödev Mantığı; Zaman Mantığı. |
Anadolu Üniversitesi 
Türkçe 
İngilizce