Teaching
The content on this page was translated automatically.
Summer semester 2024
Automata, games, logics
Scope: 4 SWS
Lecturers: Prof. Dr. Martin Lange
Target group: Master of Computer Science
Moodle course:
Formal languages and logic
Scope: 4 SWS
Lecturers : Prof. Dr. Martin Lange
Target group : Bachelor Computer Science
Moodle course:
Laboratory Compiler Construction
Scope: 4 SWS
Lecturer : Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course:
Efficient problem solving methods for AI
Duration: 2+2 SWS
Lecturer : Dr. Florian Bruse
Target group :
Moodle course:
Seminar at FG TI/FM
Scope: 2 SWS
Lecturer: Prof. Dr. Martin Lange, Dr. Norbert Hundeshagen, Dr. Florian Bruse, MSc. Marco Sälzer
Target group: Bachelor of Computer Science
Moodle course:
Winter semester 2023/24
Computability and Complexity
Scope: 2+2 SWS
Lecturer: Dr. Norbert Hundeshagen
Target group: Bachelor of Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=10630
Introduction to Formal Verification
Scope: 2+2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Computer Science
Moodle course: https://moodle.uni-kassel.de/course/view.php?id=10631
Database Theory
Scope: 2+2 SWS
Lecturer : Dr. Florian Bruse
Target group: Master Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10632
Seminar
Scope: 2 SWS
Lecturer : Prof. Dr. Martin Lange
Target group: Bachelor Informatik
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10633
Laboratory Theorem Proving
Scope: 4 SWS
Lecturer : Prof. Dr. Martin Lange, Lars-Eric Marquardt
Target group: Bachelor Computer Science
Moodlekurs: https://moodle.uni-kassel.de/course/view.php?id=10634