Courses



Elective Module 1: Automated Reasoning (10 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know different first- and higher-order logics and their advantages and disadvantages. Additionally they are familiar with suitable calculi to implement an automatic theorem prover.
Go to the superordinate section
ML
703608
Automatic Theorem Proving (VO / 2h / 4 ECTS-AP)
Moser Georg
Details of this course
ML
703609
Automated Reasoning (PS / 1h / 2 ECTS-AP)
van Oostrom Vincent
Details of this course
ML
703607
Computational Logic (VO / 2h / 4 ECTS-AP)
Middeldorp Aart
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).