MSc specialization: logic and the theory of algorithms and computation

Specialization requirements

• the course Μ6. Set theory is required.

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.