|
Hafta
|
Konular
|
Ön Hazırlık
|
|
1
|
Mantık Nedir? Tanım ve Tarihsel Arkaplanı
|
|
|
2
|
Önerme, Çıkarım, Tümdengelimsel ve Tümevarımsal Çıkarımlar
|
|
|
3
|
Önermeler Mantığı ve Mantıksal Değişmezler
|
|
|
4
|
Tabloları ve Tutarlılık ve Geçerlilik Denetlemeleri I
|
|
|
5
|
Tabloları ve Tutarlılık ve Geçerlilik Denetlemeleri II
|
|
|
6
|
Çözümleyici Çizelge ve Kuralları
|
|
|
7
|
Çözümleyici Çizelge ile Tutarlılık ve Geçerlilik Denetlemesi I
|
|
|
8
|
Ara Sınav
|
|
|
9
|
Çözümleyici Çizelge ile Tutarlılık ve Geçerlilik Dene
|
|
|
10
|
Sembolleştirme
|
|
|
11
|
Sembolleştirme
|
|
|
12
|
Niceleme Mantığı
|
|
|
13
|
Niceleme Mantığı
|
|
|
14
|
Niceleme Mantığı
|
|