Die Vorlesung führt in die Grundlagen der Theoretischen Informatik (Verifikation, Komplexität, Berechenbarkeit, Automatentheorie und formale Sprachen) ein. Die Vorlesung beginnt am 09.04.2024 um 8.00 Uhr im Hörsaal 1. Sie können sich selbst in den Moodle-Kurs einschreiben, der Zugangsschlüssel lautet: Church.
- Dozent/in: Ulrike Griefahn
- Dozent/in: Simon Schöpke
- Dozent/in: Raphael Stawski
- Dozent/in: Gamze Yaldiz