Moodle-Kurs für das Sommersemester 2026!
Die Vorlesung führt in die Grundlagen der Theoretischen Informatik (Verifikation, Komplexität, Berechenbarkeit, Automatentheorie und formale Sprachen) ein. Die Vorlesung beginnt am 14.04.2026 um 8.00 Uhr im Hörsaal 1. Sie können sich ab dem 30.03. in den Moodle-Kurs einschreiben, den Zugangsschlüssel halten Sie auf Nachfrage.
- Dozent/in: Jens Gottfried
- Dozent/in: Ulrike Griefahn
- Dozent/in: Simon Schöpke
- Dozent/in: Anika Urban