Teorik bilgisayar bilimi, bilgisayar bilimlerinin soyut, matematiksel yönlerine odaklanan bir bilgisayar bilimi bölümüdür. Bu çalışma içerir:

Gayri resmi olarak, teorik bilgisayar bilimi, 1936'da Alan Turing, Alonzo Kilisesi ve Stephen Kleene'nin resmen tanımlanmış algoritmaları hesaplama açısından tanımladığında doğdu. Günümüzde, bir parçanın dalga fonksiyonu üzerinde matematiksel hesaplamalar yapan kuantum bilgisayarlarla yoğun olarak ilgilenmektedir.

Bilgisayar Bilimleri, Programlama terimleri