Akademik Veri Yönetim Sistemi
Küme teorisi, Mantıksal önermeler, Matematiksel ispat yöntemleri, Bağıntılar ve fonksiyonlar, Boole cebri ve mantıksal fonksiyonlar, Sayı ve kodlama teorisi, Logaritma, olasılık, Asimtotik notasyonlar, Toplamlar, Kombinatorik teori, temel sayma kuralları, permutasyonlar, kombinasyonlar, Üretici fonksiyonlar, basit ve üstel üretken Fonksiyonlar, Yineleme (reccurence) bağıntıları ve çözümler, homojen ve homojen olmayan yineleme bağıntıları, Graf Teorisi, basit ve yönlü graflar, graflarda bağlılık, Euler ve hamilton grafları, Düğüm boyama ve düzlemsel graflar, Ağaç yapıları ve uygulamaları, ikili ağaçlar kapsama ağaçları, Kapsama Ağacı problemleri Kruskal’s ve greedy algoritması, En Kısa yol problemleri, Sonlu durumlu makinalar ve Otomata, Sonlu durumlu makina, akseptörler ve string tanıma, dönüştürücüler, turing makinalar