Courses


Advanced search|Reset
Elective Module 1: Automata and Logic (7.5 ECTS-credits, 4 hours)
Prerequisites for registration: none
Learning Outcome: In-depth understanding of finite automata and logic; Students have a full command of the concepts and theoretical tools on which the computer-aided verification is based and can, if necessary, develop them further independently.
Go to the superordinate section
OLAT ML
703302
VO Automata and Logic (VO / 2h / 4,5 ECTS-AP)
Aart Middeldorp
Details of this course
OLAT ML
703303
PS Automata and Logic (PS / 2h / 3 ECTS-AP)
Christina Kirk
Details of this course

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).