Sommersemester 2021
Type | Course |
---|---|
Lecture | Language Technology and Compilers |
Lecture | Software Engineering Practice |
Common Excercises | Tutorial for Language Technology and Compilers |
Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2020/2021
Type | Course |
---|---|
Lecture | Programming Paradigms |
Lecture | Software Engineering Practice |
Lecture | Theory of Cognition |
Common Excercises | Programming Paradigms - Exercises |
Laboratory | PSE: Visualisation of Type Inference |