|
Hafta
|
Konular
|
Ön Hazırlık
|
|
1
|
Önermelerle ilgili temel kavramlar ve önermeler cebirine giriş (ve bağlacı, veya bağlacı)
|
|
|
2
|
İse bağlacı, ancek ve ancek bağlacı
|
|
|
3
|
Niceleyiciler
|
|
|
4
|
Aksiyom, teorem ve ispat kavramları, ispat yöntemlerine giriş (doğruluk tablosu yardımıyla ispat ve doğrudan ispat)
|
|
|
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)
|
|
|
6
|
Tümevarım yöntemiyle ispat
|
|
|
7
|
İspat yöntemleriyle ilgili örnekler
|
|
|
8
|
Kümeler ile ilgili temel kavramlar, kümeler üzerinde tanımlanan işlemler
|
|
|
9
|
Sonlu-sonsuz kesişimler ve birleşimler, çarpım kümeleri ile ilgili temel kavramlar
|
|
|
10
|
Bağıntı kavramı ve bağıntıların temel özellikleri
|
|
|
11
|
Denklik bağıntısı
|
|
|
12
|
Sıralama bağıntıları
|
|
|
13
|
Fonksiyonlar ve temel kavramlar
|
|
|
14
|
Denk kümeler
|
|