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