A informática teórica é uma divisão da ciência da computação que se concentra nos aspectos abstratos e matemáticos da computação. Inclui o estudo de:

Informalmente, a ciência da computação teórica nasceu em 1936, quando os algoritmos formalmente definidos por Alan Turing, Alonzo Church e Stephen Kleene são em termos de computação. Nos dias atuais, ele lida intensamente com computadores quânticos, que realizam cálculos matemáticos sobre a função de onda de uma partícula.

Ciência da Computação, Termos de programação