Bilgi Paketi / Ders Kataloğu
İleri Mantık
Ders Kodu: FEL207
Ders Türü: Zorunlu
Ders Grubu: Lisans
Eğitim Dili: Türkçe
Staj Durumu: Yok
Teori: 3
Uyg.: 0
Kredi: 3
Laboratuvar: 0
AKTS: 4
Amaç

Bu derste önermeler mantığı, niceleme mantığı, küme kuramı ve çok değerli mantık sistemleri öğrencilere tanıtılıp; onların mantık problemleri çözme ve mantığın uygulama alanlarını görmeleri sağlanacaktır.

Özet İçerik

Önermeler mantığı, niceleme mantığı, küme kuramı ve çok değerli mantık sistemleri; mantık problemleri çözme ve mantığın uygulama alanları.

Dersi Veren Öğretim Görevlisi/Görevlileri
Prof. Dr. Cengiz İskender ÖZKAN
Öğrenme Çıktıları
1.Mantık tarihi ve Modern mantığın felsefeyle, dille ilişkisini bilme
2.Modern Mantığın temel kavram ve yasalarını öğrenme
3.Mantıksal akıl yürütme yeteneği kazanma ve geliştirme
4.Günlük dildeki tümceleri sembolik mantık diline çevirme
5.Mantık ile aksiyomatik sistemler arasındaki ilişkiyi kavrama
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1.Batuhan, H. – Grünberg, T.: Modern Mantık, Ankara: MEB, 1970
2.Yıldırım, C. (2021). Mantık, Ankara: Fol Kitap.
Haftalık Ayrıntılı Ders İçeriği
1. Hafta - Ön Hazırlık
Dersin Tanımı, Müfredat ve Ders Materyali
2. Hafta - Teorik
Modern Yüklem Mantığı: Niceleme Teorisi
2. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
3. Hafta - Teorik
Yüklem Mantığının İnşası ve Sembolleştirme
3. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
4. Hafta - Teorik
Birlik Yüklemlerin Sembolik Dile Çevirisi
4. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
5. Hafta - Teorik
Birli Yüklemler ve Ağaç Yöntemi Uygulaması
5. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
6. Hafta - Teorik
İlişki Önermeleri ve Çoklu Yüklemler
6. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
7. Hafta - Teorik
Niceleyicilerde Sıralama Problemi
7. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
8. Hafta - Teorik
Özdeşlik İlişkisi ve Sembolik Dile Çevirisi
9. Hafta - Teorik
En Üstünlük Sıfatları ve Sayısal Bildirimler
9. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
10. Hafta - Teorik
Belirli Betimlemeler
10. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
11. Hafta - Teorik
Aksiyomatik Yöntem ve Aksiyomatik Sistemler
11. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
12. Hafta - Teorik
Russell Paradoksu
12. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
13. Hafta - Teorik
Aksiyomatik Küme Teorisi
13. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
14. Hafta - Teorik
Aksiyomatik Küme Teorisinde Teorem İspatı
14. Hafta - Ön Hazırlık
Kitap, internet ve kütüphane taraması
Değerlendirme
Değerlendirme TürüAdetYüzde
Ara Sınav (Vize)1%40
Dönem Sonu Sınavı (Final)1%60
İş Yükü Hesaplaması
EtkinlikSayısıÖn HazırlıkSüreToplam Iş Yükü (Saat)
Kuramsal Ders140342
Okuma140228
Ara Sınav115217
Dönem Sonu Sınavı115217
TOPLAM İŞ YÜKÜ (Saat)104
Program ve Öğrenme Çıktıları İlişkisi
PÇ-1
PÇ-2
PÇ-3
PÇ-4
PÇ-5
PÇ-6
PÇ-7
PÇ-8
PÇ-9
PÇ-10
PÇ-11
PÇ-12
PÇ-13
PÇ-14
PÇ-15
PÇ-16
PÇ-17
OÇ-1
2
5
OÇ-2
2
5
OÇ-3
2
5
OÇ-4
2
5
OÇ-5
2
5
Adnan Menderes Üniversitesi - Bilgi Paketi / Ders Kataloğu
2026