Navigator
Fortune cookie
“In principle, we can know all of mathematics. It is given to us in its entirety and does not change. … That part of it of which we have a perfect view seems beautiful, suggesting harmony; that is that all the parts fit together although we see fragments of them only. … Mathematics is applied to the real world and has proved fruitful. This suggests that the mathematical parts and the empirical parts are in harmony and the real world is also beautiful.”
Kurt Gödel.
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.
Web standards:
XHTML1.0, CSS3.