Navigator
Fortune cookie
“For example, the philosophers who were interested in logic were probably rather logical for mathematicians. But the ASL got us together, so we could talk to each other and publish in the same journal.”
Stephen Cole Kleene.
MSc specialization: logic and the theory of algorithms and computation
Specialization requirements
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.
Web standards:
XHTML1.0, CSS3.