Moodle-Kurs für das Sommersemester 2025!
Die Vorlesung führt in die Grundlagen der Theoretischen Informatik (Verifikation, Komplexität, Berechenbarkeit, Automatentheorie und formale Sprachen) ein. Die Vorlesung beginnt am 31.03.2025 um 9.50 Uhr im Hörsaal 1. Sie können sich ab dem 29.03. in den Moodle-Kurs einschreiben, der Zugangsschlüssel lautet: 42.
- Dozent/in: Ulrike Griefahn
- Dozent/in: Simon Schöpke
Semester: SoSe 2025