GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| UNVOD2021 | MANTIK | Seçmeli Ders Grubu | 2 | 3 | 2,00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Dersin amacı öğrencilerin sembolik mantığın temellerini kavramasını, önermeler mantığı kapsamında bileşik önermelerin ve çıkarımların geçerliliklerini denetlemeyi öğrenmesini sağlamaktır.
Dersi Veren Öğretim Görevlisi Görevlileri
Doç.Dr. Ahmet EYİM
Öğrenme Çıktıları
| 1 | Modern Mantık ilke ve kuralları anlar ve öğrenir. |
| 2 | Doğruluk tablosu oluşturmayı ve kullanmayı bilir. |
| 3 | Çözümleyici çizelge kurallarını kavrar. |
| 4 | Önermeler için Yanlışlayıcı model oluşturmayı öğrenir. |
Öğrenim Türü
Dersin Ön Koşulu Olan Dersler
Yok
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
Bu derste basit argümanların sembolleştirilmesi ele alınacak, sembolleştirilen önermelerin denetlemesi yapılacaktır.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | Uygulama | Laboratuvar |
|---|---|---|---|
| 1 | Önermelerin Sembolleştirilmesi | ||
| 2 | Doğruluk Tablosu oluşturma | ||
| 3 | Doğruluk Tabloları aracılığıyla Geçerlilik, Tutarlılık ve Eşdeğerlik denetlemesi | ||
| 4 | Çözümleyici Çizelge kuralları ve önermelerin ispatlanması | ||
| 5 | Çözümleyici Çizelge kuralları ve önermelerin ispatlanması | ||
| 6 | Çözümleyici Çizelgede yanlışlayıcı model oluşturma | ||
| 7 | Çözümleyici Çizelgede yanlışlayıcı model oluşturma | ||
| 8 | ARA SINAV | ||
| 9 | Yüklemler Mantığında Sembolleştirme | ||
| 10 | Yüklemler Mantığında Sembolleştirme | ||
| 11 | Yüklemler mantığında çözümleyici çizelgede kuralları | ||
| 12 | Yüklemler mantığında önermelerin çözümleyici çizelgede ispatlanması | ||
| 13 | Yüklemler mantığında önermelerin çözümleyici çizelgede ispatlanması | ||
| 14 | Yüklemler mantığında önermelerin yanlışlayıcı modelinin oluşturulması | ||
| 15 | Yüklemler mantığında önermelerin yanlışlayıcı modelinin oluşturulması | ||
| 16 | Final Sınavı |
Ders Kitabı Malzemesi Önerilen Kaynaklar
T. Grünberg, Sembolik Mantık El Kitabı, ODTÜ Yayınları.
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 |
| Quiz | 1 | 1 | 1 |
| Derse Katılım | 14 | 2 | 28 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 5 | 5 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 5 | 5 |
| Quiz için Bireysel Çalışma | 1 | 8 | 8 |
| Toplam İş Yükü (saat) | 49 | ||
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 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 2 | 1 | 1 | 3 | 1 | 2 | 1 | 1 |
| ÖÇ 2 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 2 | 1 | 1 | 3 | 1 | 2 | 1 | 1 |
| ÖÇ 3 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 2 | 1 | 1 | 3 | 1 | 2 | 1 | 1 |
| ÖÇ 4 | 3 | 3 | 4 | 2 | 4 | 4 | 4 | 4 | 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