Der Bereich Theoretische Informatik behandelt die grundlegenden Prinzipien der Informatik und ermöglicht einen vertieften Blick auf die mathematischen und logischen Grundlagen digitaler Systeme.

Im Fokus stehen Themen wie formale Sprachen, Automaten und die Frage, welche Probleme durch Computer lösbar sind und wo die Grenzen der Berechenbarkeit liegen.

Die Materialien fördern das abstrakte Denken, die präzise Modellierung von Problemen und das Verständnis für grundlegende informatische Konzepte.

Die folgenden Beiträge bündeln Materialien und Impulse für einen systematischen Zugang zur theoretischen Informatik.