Courses



Compulsory Modules (30 ECTS-Credits)
Go to the superordinate section
Compulsory Module 1: Doctoral Thesis Defense (5 ECTS-Credits) (no courses)
Prerequisites for registration: Successful completion of all other modules and positive evaluation of the dissertation.
Learning Outcome: Presentation, reflection on, and analysis of the dissertation results in the overall context of the doctoral study programme; the focus is on summarizing and explaining results of the research project, on presenting the increase in knowledge for the discipline, on demonstrating evaluation and methodical competences as well as on presenting the results.
Compulsory Module 3: Participation in the Academic Discussion (5 ECTS-Credits) (no courses)
Prerequisites for registration: none
Learning Outcome: Becoming familiar with current research findings, presenting research results in national and international forums, acquiring basic skills in international networking and in research management and in applying for research funds; students analyse and critically assess their own research results and those of others; creation of a culture that is committed to Research ethics and rejects plagiarism.
703608
VU Advanced Topics in Logic and Learning: Tree Automata (VU / 3h / 5 ECTS-AP)
Aart Middeldorp
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).