Courses



Elective Modules (50 ECTS-Credits)
Go to the superordinate section
Elective Module 1: Constraint-Solving (7.5 ECTS-credits, 4 hours) (no courses)
Prerequisites for registration: none
Learning Outcome: In-depth understanding of constraint solving. Students are proficient in concepts that are used in current SAT, SMT and similar solvers and can also develop these independently if necessary. In addition, they can select suitable solvers for applications in order to solve problems effectively.
Elective Module 7: Logic and Learning (10 ECTS-credits, 6 hours) (no courses)
Prerequisites for registration: none
Learning Outcome: Advanced understanding of current topical areas in logic and learning; acquisition of the ability to independently educate themselves in the field.
Elective Module 11: Selected Chapters in Secure and Distributed Computing (10 ECTS-credits, 6 hours) (no courses)
Prerequisites for registration: none
Learning Outcome: Advanced understanding of selected advanced areas of specialisation in secure and distributed computing; acquisition of the ability to independently educate themselves in the field.
Elective Module 13: Perception, Interaction and Robotics (10 ECTS-credits, 6 hours) (no courses)
Prerequisites for registration: none
Learning Outcome: Advanced understanding of current topics in perception, interaction and robotics; acquisition of the ability to independently educate themselves in the field.
Elective Module 17: Specialisation B (10 ECTS-credits, 6 hours) (no courses)
Prerequisites for registration: none
Learning Outcome: Advanced understanding of selected advanced areas of specialisation in computer science; acquisition of the ability to independently educate themselves in the field.

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).