|
Hafta
|
Konular
|
Ön Hazırlık
|
|
1
|
Önermelerle ilgili temel kavramlar ve önermeler cebirine giriş (ve bağlacı, veya bağlacı)
|
K1 - Bölüm 1.1
|
|
2
|
İse bağlacı, ancak ve ancak bağlacı
|
K1 - Bölüm 1.2
|
|
3
|
Niceleyiciler
|
K1 - Bölüm 1.3
|
|
4
|
Aksiyom, teorem ve ispat kavramları, ispat yöntemlerine giriş (doğruluk tablosu yardımıyla ispat ve doğrudan ispat)
|
K1 - Bölüm 2.1
|
|
5
|
Dolaylı ispat yöntemleri, karşıt ters kullanma ve çelişki bulma yöntemi, yanlışlama yöntemleri (aksine örnek verme, çelişki bulma)
|
K1 - Bölüm 2.2
|
|
6
|
Tümevarım yöntemiyle ispat
|
K1 - Bölüm 2.3
|
|
7
|
İspat yöntemleriyle ilgili örnekler
|
K1 - Bölüm 2.4
|
|
8
|
Kümeler ile ilgili temel kavramlar, kümeler üzerinde tanımlanan işlemler
|
K1 - Bölüm 3.1
|
|
9
|
Sonlu-sonsuz kesişimler ve birleşimler, çarpım kümeleri ile ilgili temel kavramlar
|
K1 - Bölüm 3.2
|
|
10
|
Bağıntı kavramı ve bağıntıların temel özellikleri
|
K1 - Bölüm 4.1
|
|
11
|
Denklik bağıntısı
|
K1 - Bölüm 4.2
|
|
12
|
Sıralama bağıntıları
|
K1 - Bölüm 4.3
|
|
13
|
Fonksiyonlar ve temel kavramlar
|
K1 - Bölüm 5
|
|
14
|
Denk kümeler
|
K1 - Bölüm 6
|