mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Specializations » computer science logic

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.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.