Winter semester 2025/26
The content on this page was translated automatically.
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=19672
Introduction to formal verification
Duration: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19673
Database Theory
Duration: 2+2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Master Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19674
Laboratory Heuristic Search
Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19676
Seminar at FG TI/FM
Duration: 2 SWS
Lecturer: Prof. Dr. Martin Lange
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=19675