Informatyka teoretyczna to dział informatyki, który koncentruje się na abstrakcyjnych, matematycznych aspektach informatyki. Obejmuje badanie:

Nieformalnie informatyka teoretyczna narodziła się w 1936 r., Kiedy Alan Turing, Alonzo Church i Stephen Kleene formalnie zdefiniowali algorytmy w zakresie obliczeń. Obecnie zajmuje się głównie komputerami kwantowymi, które wykonują obliczenia matematyczne na funkcji falowej cząstki.

Informatyka, warunki programowania