Die theoretische Informatik ist ein Teilbereich der Informatik, der sich mit den grundlegenden Fragen beschäftigt, wie Computer eigentlich funktionieren – ganz unabhängig von konkreter Technik. Sie stellt Fragen wie: Was kann man überhaupt mit einem Computer berechnen? Wo sind die Grenzen? Theoretische Informatik kann man sich wie die „Mathematik der Informatik“ vorstellen.