Wintersemester 2026/27
Berechenbarkeit und Komplexität
Umfang: 2+2 SWS
Dozent: Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=23683
Einführung in die formale Verifikation
Umfang: 2+2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=23684
Verifikation eingebetteter Systeme
Umfang: 2+2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=23684
Labor SAT-Solver
Umfang: 4 SWS
Dozent: Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=23685
Seminar am FG TI/FM
Umfang: 2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=23686