Teoretisk datalogi beskæftiger sig derfor med modeller for hvad der kan beregnes og de mange måder man kan beskrive data og beregninger.