Lehre
Sommersemester 2024
Automaten, Spiele, Logiken
Umfang: 4 SWS
Dozenten: Prof. Dr. Martin Lange
Zielgruppe: Master Informatik
Moodlekurs:
Formale Sprachen und Logik
Umfang: 4 SWS
Dozenten: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik
Moodlekurs:
Labor Compilerbau
Umfang: 4 SWS
Dozent: Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik
Moodlekurs:
Effiziente Problemlöseverfahren für die KI
Umfang: 2+2 SWS
Dozent: Dr. Florian Bruse
Zielgruppe:
Moodlekurs:
Seminar am FG TI/FM
Umfang: 2 SWS
Dozent: Prof. Dr. Martin Lange, Dr. Norbert Hundeshagen, Dr. Florian Bruse, MSc. Marco Sälzer
Zielgruppe: Bachelor Informatik
Moodlekurs:
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