Informatica teoretică este o divizie a informaticii care se concentrează pe aspectele matematice abstracte ale computerelor. Acesta include studiul:

Informatic, știința informaticii teoretice sa născut în 1936, când algoritmii definiți formal al lui Alan Turing, Alonzo și Stephen Kleene sunt calculați. În prezent, se ocupă foarte mult de computerele cuantice, care efectuează calcule matematice privind funcționarea valurilor unei particule.

Informatică, Termeni de programare