Wintersemester 2025/26

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=19672

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=19673

Datenbanktheorie

Umfang: 2+2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Master Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=19674

Labor Heuristische Suche

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

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=19675
 

Oberseminar "Theoretische Informatik"