La informática teórica es una división de la informática que se centra en los aspectos abstractos y matemáticos de la informática. Incluye el estudio de:

Informalmente, la ciencia de la computación teórica nació en 1936 cuando los algoritmos formalmente definidos por Alan Turing, Alonzo Church y Stephen Kleene están en términos de computación. En la actualidad, se ocupa en gran medida de las computadoras cuánticas, que realizan cálculos matemáticos en la función de onda de una partícula.

Informática, términos de programación