Kümeler ve Fonksiyonlar, Temeller: Algoritmalar, Tam Sayılar, Matrisler, İspat Metotları, Matematiksel Tümevarım, Rekursif Tanımlamalar, ve Algoritmalar, Program Doğruluğu, Saymanın Temelleri, Güvercin Yuvası Prensibi, Permütasyonlar ve Kombinasyonlar, Rekürans Bağıntısı, Böl-Yönet / İçer-Dışla Bağıntıları, n-li Bağıntılar, Bağıntı Gösterimleri ve Kapanımları, Denklik Bağıntısı, Kısmi Düzenleme, Çizge Terminolojisi, Çizge Gösterimi ve Çizgede Eşbiçim, Bağlantı, Euler ve Hamiltonian Yollar, En Kısa Yol Problemleri, Düzlem Çizge ve Çizge Boyama, Ağaç Gezme, Ağaç Yapıları ve Sıralama, Spanning Ağaçlar, Minimum Spanning Ağaçlar, Boolean Fonksiyonlar ve Gösterimleri, Minimizasyon, Hesaplama Elementleri, Karmaşa Sınıfları, P-NP-NP Tam Karmaşa Sınıfları, Uzay Karmaşası, Sayı Dönüşümü, Hesapsal Mantık, Maksimum ve Minimum, Kodlama ve İnşa.

Öğrenim Çıktıları:

1. Farklı ayrık yapıları karşılaştırabilme ve kullanabilme.
2. Problemleri analiz edebilme, uygun çözüm yollarını belirleyebilme.
3. Soyutlama yeteneği gösterebilme.