Sommersemester 2025

Algorithmen und Datenstrukturen

Umfang: 4 SWS
Dozenten: Prof. Dr. Martin Lange
Zielgruppe: Master Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=17856

Software-Verifikation

Umfang: 4 SWS
Dozenten: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=17857

Labor SAT-Solver

Umfang: 4 SWS
Dozent: Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=17769

Seminar am FG TI/FM

Umfang: 2 SWS
Dozent: Prof. Dr. Martin Lange, Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=17768