Navigator
Fortune cookie
“It is natural, now, to think of there being connected with a sign (name, combination of words, letter) besides that to which the sign refers, which may be called the reference of the sign, also what I should like to call the sense of the sign, wherein the mode of presentation is contained. In our example, accordingly, [an example in which lines a, b, and c all intersect at a single point] the reference of the expressions 'the point of intersection of a and b' and 'the point of intersection of b and c' would be the same, but not their senses. The reference of 'evening star' would be the same as that of 'morning star', but not the sense.”
Gottlob Frege.
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.