Wir möchten darauf hinweisen, dass alle Studierenden, die im Wintersemester 2022/2023 an den Lehrveranstaltungen des Instituts für Theoretischen Informatik teilnehmen möchten, sich in den entsprechenden Moodle-Kurs einschreiben sollten.
- Moodle Kurs Algorithmen und Datenstrukturen 2 (WS 2022/23)
- Moodle Kurs Automaten und formale Sprachen
- Moodle Kurs Automatische Strukturen
- Moodle Kurs Beweiskomplexität (WS 2022/2023)
- Moodle Kurs Effiziente Algorithmen (WS 2022/23)
- Moodle Kurs Kryptographie (WS 2022/2023)
- Moodle Kurs Logik und Logikprogrammierung
- Moodle Kurs Verifikation