| 1 |
Önermeler Mantığı ile İlgili Temel Tanım ve Kavramlar, Önermelerde İşlemler ve Temel Özellikleri, Temel Doğruluk Tabloları ve Kullanımları, Totoloji ve Çelişki Kavramları ile ilgili örnek çözümü |
| 2 |
Mantıksal Denklik: Mantık Kuralları, Mantıksal Gerektirme, Çıkarım Kuralları ile ilgili örnek çözümü |
| 3 |
Niceleme Mantığı ile ilgili Temel Tanım ve Kavramlar, Niceleyicilerin Kullanımı ve Nicelenmiş Önermeler ile ilgili örnek çözümü |
| 4 |
İspat Yöntemlerinin Detaylı İncelenmesi,Aşikar ve Boş İspat Doğrudan (Direkt) İspat Yöntemi, Karşıt Ters İspat Yöntemi ile ilgili örnek çözümü |
| 5 |
Durum İncelemeli İspat, Çelişkiyle İspat, Varlık ve Teklik İspatları ile ilgili örnek çözümü |
| 6 |
Kümenin (Sezgisel) Tanımı, Alt Kümeler,Kümelerde Temel işlemler ve Özellikleri, Küme Aileleri ile ilgili örnek çözümü |
| 7 |
Ara sınav haftası |
| 8 |
Ara sınav haftası |
| 9 |
Kümelerde Kartezyen Çarpım ve Özellikleri, Bağıntı Tanımı ve Özellikleri ile ilgili örnek çözümü |
| 10 |
Denklik Bağıntıları, Kümelerin Parçalanmaları ve Denklik Sınıfları ile ilgili örnek çözümü |
| 11 |
Sıralama Bağıntıları, Tam Sıralı Küme ve İyi Sıralı Küme Tanımları ile ilgili örnek çözümü |
| 12 |
Fonksiyon Tanımı, Birebir ve Örten Fonksiyonlar, Fonksiyonların Bileşkesi, Fonksiyonların Tersi konuları ile ilgili örnek çözümü |
| 13 |
Sayı sistemleri ile ilgili örnek çözümü |
| 14 |
Sayı sistemlerinin Özellikleri ve tümevarım ile ilgili örnek çözümü |
