| Dersin Adı | Dersin Kodu | Dersin Türü | Dersin Düzeyi | Dersin Yılı | Dersin Verildiği Dönem | AKTS Kredisi |
|---|---|---|---|---|---|---|
| Modern Mantık | FEL112 | Zorunlu | Lisans | 1 | Bahar | 5 |
Öğretim Elemanı Adı
Arş. Gör. Dr. Seyda KESİKOĞLU
Dersin Öğrenme Kazanımları
1) öğrenciler günlük dildeki cümlelerin önermeler mantığında simgeleştrilmesini öğrendiler
2) öğrenciler önermeler mantığındaki bileşik önermeleri günlük dile çevirmeyi öğrendiler
3) öğrenciler önermeler mantığnın geçerli çıkarım kurallarını öğrendiler
4) öğrenciler günlük dildeki cümleleri yüklemler mantığı dilinde simgeleştirmeyi öğrendiler.
5) öğrenciler yüklemeler mantığının geçerli çıkarım kurallarını öğrendiler
Program Yeterliliği İlişkisi
| Program Yeterlilikleri | ||
| 1 | ||
| Öğrenme Kazanımları | ||
| 1 | Düşük | |
| 2 | ||
| 3 | ||
| 4 | ||
| 5 | ||
Eğitim Şekli
Yüz Yüze
Ön Koşullar, Diğer Koşullar
Yok
Önerilen Destekleyici Dersler
Klasik Mantık
Dersin İçeriği
Dersin İçeriği Bu derste günlük dildeki cümlelerin yüklemler mantığı diline çevrilmesi, yüklemler mantığı simgelerinin günlük dildeki karşılıkları, yüklemler mantığında geçerli çıkarım kuralları, günlük dilde yapılan çıkarımların geçerliliğinin denetlenmesi, yüklemler mantığında tutarlılık ispatı vb. konular ele alınacaktır.
Haftalık Ders İzlencesi
1) Atomik ve Bileşik Cümlelerin Sembolleştirilmesi2) sembolik mantık dilinin günlük dile çevrilmesi
3) Doğruluk Çizelgesi Analizi
4) doğruluk çizelgesi analizi yoluyla geçerlilik ispatı
5) Geçerli Argüman Kalıpları
6) Dolaylı İspatlar
7) şartlı ispatlar
8) Ara sınav/Değerlendirme
9) Varlıksal Niceleyiciler ve yüklemler mantığında simgeleştirme
10) Tümel Niceleyiciler yüklemler mantığında simgeleştirme
11) Yüklemler Mantığında Geçerlilik
12) Yüklemler Mantığında Tutarlılık
13) İlişkilerin Özellikleri
14) Doğruluk Ağacı Yöntemi
15) Indirect proofs in the predicatory logic
16) Final sınavı
Önerilen/İstenen Ders Kaynakları
1- x
Planlanan Öğrenim Faaliyetleri Ve Eğitim Yöntemi
1) Anlatım
2) Soru-Cevap
3) Tartışma
4) Beyin Fırtınası
5) Problem Çözme
Değerlendirme Yöntemi ve Ölçütleri
Ara Sınav Notunun Başarıya Oranı |
40% |
|---|---|
Yarıyıl Sonu Sınavının Başarıya Oranı |
60% |
Toplam |
100% |
Dersin Eğitim Dili
Türkçe
Mesleki Uygulama
İstenmemekte