Sommersemester 2018
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Sprachtechnologie und Compiler |
| Übung | Übung zu Sprachtechnologie und Compiler |
| Praktikum | PSE: Visualisierung von Prolog-Ausführungen |
| Praktikum | Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie |
Wintersemester 2017/2018
| Art | Veranstaltung |
|---|---|
| Vorlesung | Erkenntnistheorie |
| Vorlesung | Praxis der Softwareentwicklung |
| Vorlesung | Programmierparadigmen |
| Übung | Programmierparadigmen - Übungen |
| Praktikum | Praxis der Softwareentwicklung - λ-IDE |