Courses


Advanced search|Reset
Elective Module 8: Selected Chapters of Logic and Learning (10 ECTS-credits, 6 hours)
Prerequisites for registration: none
Learning Outcome: Advanced understanding of selected advanced areas of specialisation in logic and learning; acquisition of the ability to independently educate themselves in the field.
Go to the superordinate section
OLAT ML
703316
VU Selected Chapters in Logic and Learning A: Program and Resource Analysis (VU / 3h / 5 ECTS-AP)
Georg Moser
Details of this course
ML
703819
VU Selected Topics in Logic and Learning B: Machine Learning for Theorem Proving (VU / 3h / 5 ECTS-AP)
Cezary Kaliszyk
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).