MSc specialization: computer science logic

Specialization requirements

• the course Π6. Basic course in theoretical computer science is required.
• at least 16 teaching credits must be obtained from courses belonging to any of the following types: elective (computer science logic), elective (logic), Special Topics in Logic, special topics in computer science.

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.