Theoretische informatica is een onderdeel van de informatica die zich richt op de abstracte, wiskundige aspecten van informatica. Het omvat de studie van:

Informeel, theoretische informatica werd geboren in 1936 toen Alan Turing, Alonzo Church, en Stephen Kleene formeel gedefinieerde algoritmen is in termen van berekening. In de huidige tijd gaat het om kwantumcomputers, die wiskundige berekeningen uitvoeren op de golffunctie van een deeltje.

Computerwetenschappen, Programmeervoorwaarden