Courses


Advanced search|Reset
Compulsory Module 16: Logic (7,5 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: After completing this module, students understand logic calculi and can apply them. They have the skill to work out similar content themselves. Moreover, they are able to abstract and model complex problems in formal calculi.
Go to the superordinate section
OLAT ML
703026
VO Logic (VO / 3h / 4,5 ECTS-AP)
Aart Middeldorp
Details of this course
OLAT ML
703027
PS Logic (PS / 2h / 3 ECTS-AP)
Christina Kohl, Aart Middeldorp, Fabian Sebastian Mitterwallner, Harald Zankl
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).