MSc specialization: mathematical logic
Specialization requirements
- the course Μ6. Set theory is required.
- at least 16 teaching credits must be obtained from courses belonging to any of the following types: elective (mathematical logic), elective (logic), Special Topics in Logic, special topics in mathematics.
Requirements independent of specialization
- MSc thesis.
-
at least 42 teaching credits must be obtained
from courses belonging to any of the following types:
required,
elective required,
elective (computer science logic),
elective (mathematical logic),
elective (logic),
Special Topics in Logic,
special topics in computer science,
special topics in mathematics,
reading course,
reading half-course,
external course.
The following restrictions apply:- at most 8 teaching credits may be obtained from courses belonging to any of the following types: reading course, reading half-course.
- at most 8 teaching credits may be obtained from courses of the type external course.
- pass all courses of the type required.