Theoretische Informatik

Theoretische Informatik beschreibt die theoretischen Grundlagen des Faches Informatik. Dabei handelt es sich aber nicht um „reine Theorie“, sondern diese Grundlagen werden in vielen Teilbereichen der Informatik praktisch angewendet. Darüber hinaus analysieren theoretische Informatik die Grenzen der Informatik und der Berechenbarkeit, die unabhängig von den verwendeten Technologien und Algorithmen nicht überschritten werden können.