Wintersemester 2023/24

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

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

Datenbanktheorie

Umfang: 2+2 SWS
Dozent: Dr. Florian Bruse
Zielgruppe: Master Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10632

Seminar

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

Labor Theorembeweisen

Umfang: 4 SWS
Dozent: Prof. Dr. Martin Lange, Lars-Eric Marquardt
Zielgruppe: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10634