Das Kursalbjahr "Konzepte und Anwendungen der theoretischen Informatik" setzt sich mit den prinzipiellen Möglichkeiten und Grenzen der automatisierten Informationsverarbeitung auseinander. Hierbei werden verschiedene Maschinenkonzepte, formale Sprachen und Algorithmen betrachtet.