Navigator
Fortune cookie
“Since the beginning of the century, computational procedures have become so complicated that any progress by those means has become impossible, without the elegance which modern mathematicians have brought to bear on their research, and by means of which the spirit comprehends quickly and in one step a great many computations. It is clear that elegance, so vaunted and so aptly named, can have no other purpose. ... Go to the roots, of these calculations! Group the operations. Classify them according to their complexities rather than their appearances! This, I believe, is the mission of future mathematicians. This is the road on which I am embarking in this work. From the preface to his final manuscript.”
Évariste Galois.
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.