Katalog İçeriği |
Sembolik Mantık; İspat Yöntemleri; Kümeler ve Kümelerle İşlemler; Çarpım Kümeleri; Kartezyen Çarpımlar; Grafik; Bağıntılar: Bağıntı türleri, Denklik bağıntıları, Sıralama bağıntıları; İyi Sıralı Kümeler; Tam Sıralı Küme, Sonlu ve Sonsuz Kümeler, Sayılabilir ve Sayılamaz Kümeler; Sayı Sistemleri: Doğal sayılar, Tam sayılar, Tam sayılarda bölme ve bölünebilme, Euclid algoritması, Rasyonel sayılar, Reel sayılar, Seçme aksiyomu. |