GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| EDFEL3011 | MODERN MANTIK | Seçmeli Ders Grubu | 3 | 5 | 6,00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
Dersin Amacı
Önermeler ve niceleme mantığının temel özelliklerini öğrenmek.
Dersi Veren Öğretim Görevlisi Görevlileri
Prof. Dr. Ahmet EYİM
Öğrenme Çıktıları
| 1 | Günlük dilden sembolik dile çeviriyi öğrenebilirler. |
| 2 | Önerme veya çıkarımların doğruluk tablosu ile denetlenmesini yapabilirler. |
| 3 | Önerme veya çıkarımların çözümleyici çizelgede denetlenmesini yapabilirler. |
| 4 | Yüklemler mantığı önermelerini ispatını yapabilirler. |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Yok
Ders İçin Önerilen Diğer Hususlar
[Yok]
Dersin İçeriği
Önermeler mantığında önermelerin geçerlilik denetlemesini yapmak, çözümleyici çizelgede teorem ve çıkarımların ispatını yapmak.Yüklemler mantığında önermelerin geçerlilik denetlemesini yapmak, çözümleyici çizelgede teorem ve çıkarımların ispatını yapmak.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | Uygulama | Laboratuvar |
|---|---|---|---|
| 1 | Önermeler Mantığına Giriş | ||
| 2 | Önermeler mantığında sembolleştirme | ||
| 3 | Doğruluk tablosunda önermelerin denetlenmesi | ||
| 4 | Çözümleyi çizelgede önermelerin denetlenmesi | ||
| 5 | Çözümleyici çizelgede önermelerin denetlenmesi | ||
| 6 | Çözümleyici çizelgede yanlışlayıcı model oluşturma | ||
| 7 | Çözümleyici çizelgede yanlışlayıcı model oluşturma | ||
| 8 | Ara Sınav | ||
| 9 | Yüklemler Mantığında Sembolleştirme | ||
| 10 | Yüklemler mantığında Çözümleyici Çizelge Kuralları | ||
| 11 | Yüklemler mantığında önermelerin çözümleyici çizelge ile denetlenmesi | ||
| 12 | Yüklemler mantığında önermelerin çözümleyici çizelge ile denetlenmesi | ||
| 13 | Yüklemler mantığında çözümleyici çizelge ile yanlışlayıcı model oluşturma | ||
| 14 | Yüklemler mantığında çözümleyici çizelge ile yanlışlayıcı model oluşturma | ||
| 15 | Genel değerlendirme | ||
| 16 | Final Sınavı |
Ders Kitabı Malzemesi Önerilen Kaynaklar
To check the validity of propositions in propositional logic, to prove theorems and inferences in the analytic table. To check the validity of propositions in predicate logic, to prove theorems and inferences in the analytic table.
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
Yok
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 1 | 1 |
| Final Sınavı | 1 | 1 | 1 |
| Derse Katılım | 14 | 4 | 56 |
| Bireysel Çalışma | 14 | 4 | 56 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 10 | 10 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 20 | 20 |
| Toplam İş Yükü (saat) | 144 | ||
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 | |
| ÖÇ 1 | 4 | 5 | 4 | 5 | 4 | 5 | 5 | 5 | 5 | 4 | 5 | 5 | 5 | 4 | 5 |
| ÖÇ 2 | 5 | 5 | 5 | 4 | 4 | 4 | 5 | 5 | 5 | 4 | 5 | 4 | 4 | 4 | 5 |
| ÖÇ 3 | 5 | 5 | 5 | 5 | 4 | 5 | 4 | 5 | 4 | 4 | 5 | 5 | 4 | 5 | 5 |
| ÖÇ 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 5 | 4 | 4 | 4 | 4 | 4 | 4 | 4 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek