Bilgi Paketi / Ders Kataloğu
Modern Mantık II
Ders Kodu: FEL268
Ders Türü: Bölüm Seçmeli
Ders Grubu: Lisans
Eğitim Dili: Türkçe
Staj Durumu: Yok
Teori: 2
Uyg.: 0
Kredi: 2
Laboratuvar: 0
AKTS: 6
Amaç

Bu dersin amacı, öğrencilere mantıkla ilgili alıştırmalar yaptırarak, onların soyut düşünme yetilerini geliştirmektir

Özet İçerik

Önerme, terim, tutarlılık, tutarsızlık, geçerlilik ve geçersizlik gibi bazı temel mantıksal terimlerin tanımları

Dersi Veren Öğretim Görevlisi/Görevlileri
Prof. Dr. Cengiz İskender ÖZKAN
Öğrenme Çıktıları
1.Modern Mantığın temel kavram ve yasalarını öğrenme
2.Mantıksal akıl yürütme yeteneği kazanma ve geliştirme
3.Mantık uygulamaları hakkında bilgi sahibi olma
4.Günlük dildeki tümceleri modern yüklem mantığının sembolik diline çevirme
5.Mantık ile aksiyomatik sistemler arasındaki ilişkiyi kavrama
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1.Özlem, Doğan, Mantık, İnkilap Kitabevi, İstanbul, 2004
2.Hüseyin Batuhan, Grünberg, Teo, Modern Mantık, ODTÜ Yayınları, Ankara, 1970
3.Modern Mantık, İstanbul: Lisans Yayıncılık, 2017.
4.Copi, I. Symbolic Logic, New York: Macmillan, 1965
5.Grünberg, T. Onart, A., Batuhan, H. Modern Mantık ve Uygulamaları, İstanbul: Milli Eğitim Basımevi, Ankara, 1974
6.Grünberg, T. Onart, A. Mantık Terimleri Sözlüğü, İstanbul: Ara Yayıncılık, 1989
Haftalık Ayrıntılı Ders İçeriği
1. Hafta - Teorik
Yüklem Mantığına Giriş
2. Hafta - Teorik
Yüklem Mantığından Sembolleştirme
3. Hafta - Teorik
Alıştırmalar
4. Hafta - Teorik
Yüklem Mantığında İleri Düzey Sembolleştirmeler
5. Hafta - Teorik
Alıştırmalar
6. Hafta - Teorik
İlişki Önermeleri
7. Hafta - Teorik
Alıştırmalar
8. Hafta - Teorik
Özdeşlik Önermeleri ve Belirli Betimlemeler
9. Hafta - Teorik
Alıştırmalar
10. Hafta - Teorik
Yüklem Mantığında Çözümleyici Çizelge: Ağaç Yöntemi
11. Hafta - Teorik
Alıştırmalar
12. Hafta - Teorik
Aksiyomatik Yöntem ve Aksiyomatik Sistemler
13. Hafta - Teorik
Aksiyomatik Küme Teorisi
14. Hafta - Teorik
Aksiyomatik Küme Teorisinde Teorem İspatı
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
Ödev140228
Bireysel Çalışma140228
Ara Sınav125126
Dönem Sonu Sınavı130131
TOPLAM İŞ YÜKÜ (Saat)155
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
OÇ-1
3
4
4
4
5
4
4
5
4
4
OÇ-2
4
4
4
4
4
4
4
5
OÇ-3
5
4
4
4
4
4
4
4
5
5
OÇ-4
4
4
5
4
4
4
4
5
4
4
OÇ-5
4
4
5
5
5
4
4
4
4
4
Adnan Menderes Üniversitesi - Bilgi Paketi / Ders Kataloğu
2026