1. Öğrencileri yeni disiplinlere göre matematiksel düşünmeye alıştırmak. 2. Öğrencilere aksiyomatik yaklaşımları vermek. 3. İspat yöntemlerini tanıtarak bu yöntemlerin kullanımlarıyla ilgili teorem ve özellikleri vermek. 4. Bazı cebirsel yapı kavramlarını tanıtmak. 5. Öğrencilerin problemlerin çözümünde ve elde edilen çözümlerin yorumlanmasında mevcut yeteneklerini geliştirmek. 6. Öğrencilerin soyut ve güç anlaşılır kavramları algılayabilmelerine yardımcı olmak.

Sembolik mantık, Önermeler, Teoremler için ispat yöntemleri, Kümeler kavramı, Niceleme mantığı, Açık önerme ve iki değişkenli açık önermeler, Kümeler cebiri, Sonlu ve sonsuz küme kavramları, Kümeler ailesi, Kümenin ayrışımı ve örtüsü kavramları, Bağıntılar, Bağıntı özellikleri, Kısmi sıralama bağıntısı, Denklik bağıntısı, Denklik sınıfları, Fonksiyonlar, İkili işlemler, Cebirsel sistemler.