Akademik Dersler - Tanıtım

Son Güncelleme Tarihi: 24/10/2025

Ders Kodu - Ders Adı	Zorunlu/Seçmeli	Teori + Uygulama	AKTS
MNT301 - Mantık II	VI.Yarıyıl	3 +0	4.5

Ders Dili	Türkçe
Ders Türü	Seçmeli Dersler
Öğretim Elemanları	DOÇ. DR. İSA ABİDOĞLU
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
Staj & Uygulama	Bu ders için uygun değildir.
Dersin Amacı	Sembolik mantık konuları ve tarihi gelişim süreci öğrenilir, sebolik mantığın temel kavram ve kuralları öğrenilir, öğrenilen kavram ve kurallara dayanarak işlemler yapılır, problemler çözülür, mantık sayesinde başkalarının düşünceleri öğrenilerek değerlendirilir, mantığın uygulandığı alanlar kavranılır.

Haftalar	Öğrenme Çıktıları	Konular	Öğretim Yöntemleri
1. hafta		Niceleme. Niceleme mantığının biçimsel dili. Terimler ve nicelenmiş önermeler.
2. hafta		Serbest ve bağlı değişkenler. Yerine koyma
3. hafta		Sembolleştirme ve günlük dile çevirme
4. hafta		Sembolleştirme-Günlük dile çevirme (devam)
5. hafta		Niceleme mantığında doğal türetim yöntemi
6. hafta		Niceleme mantığında doğal türetim yöntemi (devam)
7. hafta		Niceleme mantığında doğal türetim yöntemi (devam)
8. hafta		Niceleme mantığında doğal türetim yöntemi (devam)
9. hafta		Niceleme mantığında doğal türetim yöntemi (devam)
10. hafta		Niceleme mantığında doğal türetim yöntemi (devam)
11. hafta		Birinci derece yapılar. Terimlerin birinci derece yapılarda değerleri. Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik
12. hafta		Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik
13. hafta		Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik. Model-Karşı model bulma
14. hafta		Prenex normal form

İçerik girilmemiştir.

İçerik girilmemiştir.

İçerik girilmemiştir.

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