Inhalt der Theoretischen Informatik sind die mathematischen Grundlagen der Algorithmen und der Programmierung, Ersetzungssysteme und Kalküle, formale Sprachen und die Komplexitätstheorie.