Die Vorlesung "Informatik 3 - Theoretische Informatik" richtet sich an Studierende der Mathematik, der Informatik, der Angewandten Informatik und der IT-Sicherheit. Sie liefert eine Einführung in die Theorie der Grammatiken (insbesondere kontextfreie Grammatiken) und Automaten (endlicher Automat, Kellerautomat, Turing-Maschine). Sie gibt ferner einen Einblick in die Berechenbarkeits- und NP-Vollständigkeitstheorie, wo es um die Frage geht, welche Rechenprobleme (überhaupt bzw. mit vertretbarem Aufwand) gelöst werden können. Es wird sich zeigen, dass es inhärent schwere Probleme gibt, die von Rechnern nicht zufriedenstellend gelöst werden können. Die Vorlesung orientiert sich an dem Buch "Theoretische Informatik - kurzgefasst" von Uwe Schöning (Spektrum, 5. Auflage, 2009).
Gesucht werden bis zu 10 wissenschaftliche Hilfskräfte (m/w/d) mit Bachelor-Abschluss, die die Vorlesung Informatik 3 - Theoretische Informatik in Übungsgruppen begleiten und Korrekturarbeiten durchführen. Es werden Studierende gesucht, die Interesse haben, in den Übungen zur Vorlesung ihr Wissen zu teilen und die Dozierenden tatkräftig im Übungsbetrieb zu unterstützen.
