Definition

Die Theoretischen Informatik befasst sich mit den abstrakten und mathematikorientierten Aspekten der Informatik. Das Gebiet ist breit gefächert und beschäftigt sich mit Themen von der theoretischen Linguistik (Theorie formaler Sprachen bzw. Automatentheorie) bis zur Berechenbarkeits- und Komplexitätstheorie. Neben fundamentalen Fragen der Berechenbarbeit, Effizien und Komplexität beschäftigen wir uns hier auch mit dem weiten Feld der Kryptologie.