DERS AKIŞI
HaftaKonularÖ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