Üniversite Bilgisayar Bilimleri
Ayrık Matematik
Bilgisayar bilimlerinin arkasındaki ayrık (sürekli olmayan) matematiksel yapıların ve mantıksal argümanların incelenmesi.
Müfredat
- Önermeler ve Yüklem Mantığı
- İspat Teknikleri (Doğrudan, Çelişki, Tümevarım)
- Kümeler Teorisi, Fonksiyonlar ve Bağıntılar
- Kombinatorik (Sayma, Permütasyon, Kombinasyon)
- Graf Teorisi ve Ağaçlar
- Boole Cebiri
Sınav ve Ders Stratejisi
Algoritma derslerine bir hazırlık görevi görür; tümevarım ispatları ve kombinatoryal problem çözme becerileri sınavların ana odak noktasıdır.