HOME | DEUTSCH | IMPRESSUM | KIT

Current Courses

Wintersemester 2022/2023

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Common Excercises Programming Paradigms - Exercises

Sommersemester 2022

Type Course
Lecture Advanced Object-Orientation
Lecture Software Engineering Practice
Lecture Theory of Cognition
Common Excercises Advanced Object-Orientation Excercises
Laboratory Theorem prover lab: applications in programming languages

Wintersemester 2021/2022

Type Course
Lecture Programming Paradigms