Akademik Dersler - Tanıtım

Son Güncelleme Tarihi: 30/09/2026

Ders Kodu - Ders Adı	Ders Türü	Teori + Uygulama	AKTS
FEL117 - Introductıon to Symbolıc Logıc (Sembolik Mantığa Giriş)	III.Yarıyıl	3 +0	5.0

Ders Dili	İngilizce
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 Verildiği Yer
Kullanılan Eğitim Platformları
Önkoşullar	Bu dersin ön koşulu ya da eş koşulu bulunmamaktadır.
Önerilen Dersler	Yok
Önerilen Kaynaklar	Grünberg, T. Modern Logic, METU Press, 2002
Staj & Uygulama	Bu ders için uygun değildir.
Dersin Amacı

Haftalar	Öğrenme Çıktıları	Konular	Öğretim Yöntemleri
1. hafta		Önerme ve Çıkarım Kavramları, Önerme Eklemleri Mantığının Sembolik Dili
2. hafta		Sembolleştirme, Günlük dile çeviri
3. hafta		Sembolleştirme, Günlük dile çeviri (Devam)
4. hafta		Doğruluk Tabloları, Doğruluk Tablolarıyla Tutarlılık ve Geçerlilik Denetlemesi
5. hafta		Doğal Türetim Yöntemine Giriş. Koşullu Kanıtlamalar
6. hafta		Koşullu ve Çürütmeli Kanıtlamalar
7. hafta		Koşullu ve Çürütmeli Kanıtlamalar (Devam)
8. hafta		Karşılıklı Koşul Önermelerinin Türetimi (Devam)
9. hafta		Vize
10. hafta		Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi
11. hafta		Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi (Devam)
12. hafta		Tikel evetlemeli, Tümel Evetlemeli Önermelerin Türetilmesi, Kısaltılmış Türetimler
13. hafta		Yanlışlayıcı Yorumlama Bulma
14. hafta		DNF-CNF, İkililik

İçerik girilmemiştir.

İçerik girilmemiştir.

İçerik girilmemiştir.

Değerlendirme Yöntemi ve Geçme Kriterleri
	Sayısı	Yüzde (%)
Toplam (%)