Winter semester 2023/24
The content on this page was translated automatically.
Winter semester 2023/24
Computability and Complexity
Scope: 2+2 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=10630
Introduction to Formal Verification
Scope: 2+2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=10631
Database Theory
Scope: 2+2 SWS
Lecturer : Dr. Florian Bruse
Target group: Master Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10632
Seminar
Scope: 2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10633
Laboratory Theorem Proving
Scope: 4 SWS
Lecturer : Prof. Dr. Martin Lange, Lars-Eric Marquardt
Target group: Bachelor Computer Science
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10634