Die Theoretische Informatik befasst sich mit Abstraktion, Modellierung und grundlegenden Fragen der Struktur, Verarbeitung, Übertragung und Reproduktion von Informationen. Ihre Inhalte sind Automatentheorie, Theorie der formalen Sprachen, Berechenbarkeits- und Komplexitätstheorie, aber auch Logik und formale Semantik sowie Informations-, Algorithmen- und Datenbanktheorie.
