Veranstaltung | Art | Frequenz | Dozent |
---|---|---|---|
Datenstrukturen und Algorithmen | Vorlesung | jährlich im WS | Meier |
Grundlagen der Theoretischen Informatik | Vorlesung | jährlich im WS | Vollmer |
Komplexität von Algorithmen | Vorlesung | jährlich im SS | Meier |
Logik und formale Systeme | Vorlesung | jährlich im SS | Vollmer |