Teoretisk datalogi er en division af datalogi, der fokuserer på de abstrakte, matematiske aspekter af computing. Det omfatter undersøgelsen af:

Uformelt blev teoretisk datalogi født i 1936, da Alan Turing, Alonzo Church og Stephen Kleene formelt definerede algoritmer er i form af beregning. I dag beskæftiger den sig stærkt med kvantecomputere, som udfører matematiske beregninger på en partikelbølgefunktion.

Computer Science, Programmeringsbetingelser