Теоријска информатика је подјела рачунарске науке која се фокусира на апстрактне, математичке аспекте рачунања. То укључује проучавање:

Неформално, теоријска информатика је рођена 1936. године када су Алан Туринг, Алонзо Цхурцх и Степхен Клеене формално дефинисали алгоритме у смислу рачунања. Данас се бави квантним компјутерима, који изводе математичке рачунице на таласној функцији честице.

Рачунарске науке, програмски термини