|
1 |
Önermenin tanımı ve çeşitleri, doğruluk tabloları
|
|
2 |
Mantıksal denklikler
|
|
3 |
Niceleyiciler, mantıksal gerektirme ve çıkarım kuralları
|
|
4 |
İspat yöntemleri; doğrudan ve dolaylı ispat yöntemleri
|
|
5 |
Kümeler, alt kümeler ve kümelerde işlemler
|
|
6 |
Küme aileleri, parçalanma
|
|
7 |
Kartezyen çarpım, bağıntılar ve Özellikleri
|
|
8 |
Denklik bağıntıları ve denklik sınıfları
|
|
9 |
Kısmi sıralama bağıntısı, tam sıralama, iyi sıralı küme, zincir
|
|
10 |
Kısmi sıralı kümede maksimum, minimum, supremum, infimum, maksimal ve minimal elemanlar
|
|
11 |
Fonksiyon kavramı, fonksiyon çeşitleri
|
|
12 |
Fonksiyonlar üzerinde işlemler; toplama, skalerle çarpım, iki fonksiyonun çarpımı, bileşke, ters fonksiyon
|
|
13 |
İşlem kavramı ve işlem tablosu, cebirsel yapılar, grup alt grup kavramları
|
|
14 |
|
|
15 |
|
|
16 |
|
|
17 |
|
|
18 |
|
|
19 |
|
|
20 |
|