Courses


Advanced search|Reset
Elective Module 5: Decision Procedures (10 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools.
Go to the superordinate section
ML
703620
VO Theory of Decision Procedures (VO / 2h / 4 ECTS-AP)
Aart Middeldorp
Details of this course
ML
703621
VO Practice of Decision Procedures (VO / 1h / 2 ECTS-AP)
Christian Sternagel
Details of this course
ML
703622
PS Theory and Practice of Decision Procedures (PS / 2h / 4 ECTS-AP)
Vincent van Oostrom
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).