Теоретичната компютърна наука е разделение на компютърните науки, което се фокусира върху абстрактните, математически аспекти на компютрите. Тя включва изучаването на:

Неофициално, теоретичната компютърна наука е родена през 1936 г., когато Alan Turing, Alonzo Church и Stephen Kleene формално дефинирани алгоритми по отношение на изчисленията. В днешно време се занимава силно с квантовите компютри, които извършват математически изчисления на вълновата функция на частица.

Компютърни науки, програмни термини