Teorik Bilgisayar Bilimi 1) Algoritmik bilgi teorisi2) Hesaplanabilme teorisi3) Kriptografi4) Biçimsel anlambilim5) Bilgisayar teorisi6) Algoritma analizi Karmaşıklık teorisi7) Mantık ve programların anlamları
