Teaching
Winter term 2024/2025
Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) | Moodle |
Programmierparadigmen | Lecture (6 ECTS) |
Summer term 2024
Constructive Logic | Lecture (5 ECTS) |
Winter term 2023/2024
Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) | Moodle |
Summer term 2023
Constructive Logic | Lecture (5 ECTS) | |
Proseminar Differentiable Programming | Proseminar (3 ECTS) |
Winter term 2022/2023
Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) |