Wintersemester 2021/2022
| Art | Veranstaltung |
|---|---|
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Programmierparadigmen |
| Übung | Programmierparadigmen - Übungen |
| Praktikum | Compilerpraktikum |
Sommersemester 2021
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Sprachtechnologie und Compiler |
| Übung | Übung zu Sprachtechnologie und Compiler |
| Praktikum | Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie |
Wintersemester 2020/2021
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Programmierparadigmen |
| Übung | Programmierparadigmen - Übungen |
| Praktikum | PSE: Visualisierung von Typinferenz |