Ders bilgisi

Sembolik mantık ve doğrudan ve dolaylı matematiksel ispat yöntemlerinin açıklanması. Önermeler, niceleyiciler, küme kavramının açıklanması, küme kavramı ile ilgili işlemler. Küme takımları, küme takımlarının parçalanışları, çarpım kümeleri. Bağıntı kavramı ve özellikleri, bağıntının tersi, bağıntıların bileşkesi, denklik bağıntıları ve sıralama bağıntıları; kısmi sıralı küme, tam sıralı küme. Fonksiyonlar, bire bir ve örten fonksiyonlar, fonksiyonların bileşkesi, fonksiyonların tersi, işlemler.