Grundlagenveranstaltungen:
- Theoretische Informatik für Wirtschaftsinformatik und Lehramt
- Theorie der Programmierung
Vertiefende Veranstaltungen:
- Interactive Theorem Proving
- Automatentheorie (Seminar)
- Oberseminar
Grundlagenveranstaltungen:
Vertiefende Veranstaltungen:
Keine Menüeinträge gefunden.