DERS AKIŞI | |||
---|---|---|---|
Hafta | Konular | Ön Hazırlık | Yöntem |
1 | Klasik mantık ve sembolik mantık farkı | yok | Anlatım Soru-Cevap Tartışma |
2 | Önermeler Mantığı: Önerme ve yapısı | Anlatım-tartışma | Anlatım Soru-Cevap Tartışma |
3 | Önerme eklemlerinin fonksiyonları ve sembolleştirme | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
4 | Doğruluk değeri analizi: karma doğruluk çizelgeler | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
5 | Önermelerin doğruluk değerini ve doğruluk fonksiyonu statülerini bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
6 | Doğruluk değeri tablosunda önermlerin tutarlılığını ve geçerliliğini bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
7 | Eşdeğerlik bulma, önerme kümelerinin tutarlılığını bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
8 | Ara Sınav | yazılı sınav | Anlatım Soru-Cevap Tartışma |
9 | Ağaç yöntemi ile denetleme ve kuralları | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
10 | Önermelerin statülerini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
11 | Önermelerin eşdeğerliğini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
12 | Önerme kümelerinin tutarlığını ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
13 | Çıkarımların geçerliğini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
14 | Genel alıştırmalar | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
15 | Genel değerlendirme | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
16-17 | Yarıyıl Sonu Sınavları | yazılı sınav | Yazılı Sınav |
KAYNAKLAR | |
---|---|
Ders Notu | |
Diğer Kaynaklar |