Elective Module 7: Logic and Learning (10 ECTS-credits, 6 hours)
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.
Go to the superordinate section
VU Logic and Learning A: Interactive Theorem Proving (VU / 3h / 5 ECTS-AP)
Cezary Kaliszyk
Details of this course
VU Logic and Learning B: Interactive Theorem Proving in Isabelle/HOL (VU / 3h / 5 ECTS-AP)
René Thiemann
Details of this course
VU Logic and Learning A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater
Details of this course

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