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 FonksiyonlarYineleme (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 grafler 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