| Hafta | Teori Konu Başlıkları |
|---|---|
| 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ı |
| 2 | Mantıksal Denklik: Mantık Kuralları, Mantıksal Gerektirme, Çıkarım Kuralları |
| 3 | Niceleme Mantığı ile ilgili Temel Tanım ve Kavramlar, Niceleyicilerin Kullanımı ve Nicelenmiş Önermeler |
| 4 | İspat Yöntemlerinin Detaylı İncelenmesi,Aşikar ve Boş İspat Doğrudan (Direkt) İspat Yöntemi, Karşıt Ters İspat Yöntemi |
| 5 | Durum İncelemeli İspat, Çelişkiyle İspat, Varlık ve Teklik İspatları, İspat Tekniklerine Genel Bakış |
| 6 | Kümenin (Sezgisel) Tanımı, Alt Kümeler, Kümelerde Temel işlemler ve Özellikleri, Küme Aileleri |
| 7 | Ara sınav haftası |
| 8 | Ara sınav haftası |
| 9 | Kümelerde Kartezyen Çarpım ve Özellikleri, Bağıntı Tanımı ve Özellikleri |
| 10 | Denklik Bağıntıları, Kümelerin Parçalanmaları ve Denklik Sınıfları |
| 11 | Sıralama Bağıntıları, Tam Sıralı Küme ve İyi Sıralı Küme Tanımları |
| 12 | Fonksiyon Tanımı, Birebir ve Örten Fonksiyonlar, Fonksiyonların Bileşkesi, Fonksiyonların Tersi |
| 13 | Sayı Sistemleri |
| 14 | Sayı Sistemlerinin Özellikleri ve Tümevarım |
| Hafta | Uygulama Konu Başlıkları |
|---|---|
| 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ı" |
| 2 | "Mantıksal Denklik: Mantık Kuralları, Mantıksal Gerektirme, Çıkarım Kuralları" |
| 3 | "Niceleme Mantığı ile ilgili Temel Tanım ve Kavramlar, Niceleyicilerin Kullanımı ve Nicelenmiş Önermeler" |
| 4 | "İspat Yöntemlerinin Detaylı İncelenmesi,Aşikar ve Boş İspat Doğrudan (Direkt) İspat Yöntemi, Karşıt Ters İspat Yöntemi" |
| 5 | "Durum İncelemeli İspat, Çelişkiyle İspat, Varlık ve Teklik İspatları, İspat Tekniklerine Genel Bakış " |
| 6 | Kümenin (Sezgisel) Tanımı, Alt Kümeler, Kümelerde Temel işlemler ve Özellikleri, Küme Aileleri |
| 7 | "Kümelerde Kartezyen Çarpım ve Özellikleri, Bağıntı Tanımı ve Özellikleri" |
| 8 | Ara sınav haftası |
| 9 | Ara sınav haftası |
| 10 | Denklik Bağıntıları, Kümelerin Parçalanmaları ve Denklik Sınıfları |
| 11 | Sıralama Bağıntıları, Tam Sıralı Küme ve İyi Sıralı Küme Tanımları |
| 12 | "Fonksiyon Tanımı, Birebir ve Örten Fonksiyonlar, Fonksiyonların Bileşkesi, Fonksiyonların Tersi " |
| 13 | Sayı Sistemleri |
| 14 | Sayı Sistemlerinin Özellikleri ve Tümevarım |
