Sommersemester 2022
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Fortgeschrittene Objektorientierung |
| Vorlesung | Praxis der Softwareentwicklung |
| Übung | Übungen zu Fortgeschrittene Objektorientierung |
| Praktikum | Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie |
Wintersemester 2021/2022
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Programmierparadigmen |
| Übung | Programmierparadigmen - Übungen |
| Praktikum | Compilerpraktikum |