Information for students of the Logik Master

This page contains information for (prospective) students of the Mathematics Master program with specialization (Schwerpunkt) on Mathematische Logik und Theoretische Informatik, which will be called Logik Master for short. Note that nearly all of the information listed here (admission, curriculum etc) is not in our responsibility. This information is provided for your convenience, but we cannot take any responsibility that it is correct, complete or still up to date. Please make sure to check with the authoritative sources, e.g.


General information for foreign students

This paragraph is relevant mainly for foreign students who are interested to come to Vienna for a Logik Master. (Austrian students will know all the information provided here anyway.)

Admission
The KGRC is not involved in any way in questions of enrolement, admission, tuition fees etc. Please consult StudentPoint or the SCC Mathematik or help.gv.at. In particular, the following points is not in the responsibility of the KGRC and provided for information only. Also, we cannot answer questions regarding the following points, please contact StudentPoint instead.
Tuition fees
The tuition fees are relatively low (maybe 350 to 700 EUR per semester). EU citizens might have this fee waived in certain situations.
Cost of living
Master students do not receive salaries, and there are hardly any fellowships or grants available for them. The parents are supposed to cover the living expenses and tuition fee of the student. Only in exceptional cases, for EU citizens, when the income of the student and the student's parents is very low, and the student's progress is very good (which is measured in a rather buerocratic and inflexible way), then a goverment grant is provided (up to 600 EUR per month, if the student's family does not live close to Vienna).
Duration
It is probably quite hard to finish a Logik Master in the official timeframe of 4 semesters, unless you already have a good education in mathematical logic to begin with. Note that it is not a problem to take longer than the 4 semesters, but of course you will then have to provide the cost of living for a longer period of time (and in the rare case that you get the goverment grant mentioned above, this grant will be only payed for up to 5 semesters).
Language
Basic German skills (or at least to take a German class once you arrive) are recommended, but probably not necessary: While admission to the master program in principle requires a proof of proficiency in German, this can be (and usually is) waived during the admission process. And it is probably possible to finish the Logik Master by attending classes in English only: All the lectures at the KGRC are held or can be held in English. You will also have to take courses outside th KGRC (at least for the Verbreiterung, see below, but possibly also for Wahlfach or for logic courses at TU). Some of these courses are in English anyway, and many more can be held in English if requested (just contact the lecturer and ask). But of course we can not guarantee anything for non-KGRC courses.

Courses of the Logik Master

As you know from the Studienplan, the following courses are required for the Logik Master, adding up to 120 ECTS:

Mandatory logic courses (Pflichtmodule: MLOL, MLOM, MLOI, MLOS), 30 ECTS

The mandatory courses are held at the KGRC every year. In the following table, W indicates that they are held in the winter semester, S in the summer semester.

ModuleWhenECTSSStTypeName
MLOL W 6 4 VO Einführung in die Mathematische Logik
MLOL W 3 2 PS Proseminar zur Einführung in die Mathematische Logik
MLOI W 5 3 VO Einführung in die Theoretische Informatik
MLOM S 5 3 VO Axiomatische Mengenlehre 1
MLOM S 3 2 PS Proseminar zur Axiomatischen Mengenlehre 1
MLOS W 4 2 SE Seminar aus der Mathematischen Logik
MLOS S 4 2 PJSEProjektseminar aus der Mathematischen Logik

Other logic courses (Vertiefungs LVAs: MLOV), 21 ECTS

For this part you can use every course with the code MLOV. At the KGRC we regularly give the following courses, but not all of them every year: Modelltheorie and Berechenbarkeit alternate in summer semesters. The Forschungsseminar is held every semester (it is an advanced seminar suitable for PhD students and advanced Master Students). Note that there are many courses at TU that can be used (angerechnet) as MLOV, see the section on TU.

ModuleWhenECTSSStTypeName
MLOV(S)32VOModelltheorie
MLOV(S)32VOBerechenbarkeit und Komplexität
MLOVW72VOMengenlehre (reading course)
MLOVW42VOAusgewählte Kapitel aus der Mathematischen Logik
MLOVS42VOAusgewählte Kapitel aus der Mengenlehre
MLOVW & S42SEForschungsseminar aus der Mathematischen Logik

Courses from other areas (Verbreiterung), 24 ECTS

You need courses from other Mathematics master programs, i.e. courses that have a code not starting with MLO. Note that you do not have to choose all these courses from a single non-Logik Schwerpunkt. I.e., you can use courses from more than one non-Logik Schwerpunkt. Of these 24 ECTS, at least 15 ECTS have to be from the Standardausbildung, and at most 4 ECTS from seminars.

Free choice of courses (Wahlfach), 15 ECTS

Every course from the Mathematics master program will do, including courses at the KGRC that you do not use for Pflicht or Vertiefung. Note that you can also use TU courses, see below.

Thesis (Masterarbeit), 30 ECTS including exam

A master thesis can be supervised by faculty with Habilitation (at the KGRC currently S. Friedman, V. Fischer, L. Zdomskyy and M. Müller). In practise we can offer topics from set theory and to some degree model theory and recursion theory. If you would prefer a thesis in a research area that is represented at TU (such as proof theory or automatic theorem proving), it will be necessary to get a supervisor from TU. It is theoretically possible to have an external advisor, but this is cumbersome and uncommon for Master theses (but you have to discuss it with the SPL Mathematics). As alternatives, the thesis can still be supervised at the KGRC if you can get a secondary supervisor from TU.

Recommended timeplan

In the following, let us assume that your aim is to write a Master thesis at the KGRC. It is required that you already know some very basic logic as covered, e.g., by the Bachelor course Grundbegriffe der Mathematischen Logik. Ideally, you already took Einführung in die Logik and Mengenlehre 1 while studying for the Bachelor. In this case, a possible schedule for the remaining Logic courses would be the following:

SemesterCourses
(Bachelor)Einführung in die Logik (VO+PS, mandatory)
Mengenlehre 1 (VO+PS, mandatory)
1
(winter)
Mengenlehre (reading course) (7 ECTS)
Einführung in die theoretische Informatik
2
(summer)
Ausgewählte Kapitel (4 ECTS)
Berechenbarkeit or Modelltheorie (3 ECTS)
Beweistheorie (3 ECTS, at TU)
Projektseminar (mandatory)
3
(winter)
Ausgewählte Kapitel Logik (4 ECTS)
Mengenlehre (reading course) (7 ECTS)
Seminar (mandatory)
4
(summer)
Ausgewählte Kapitel Mengenlehre (4 ECTS)
Berechenbarkeit or Modelltheorie (the one not done in Semester 2, 3 ECTS)
Forschungsseminar (4 ECTS)
Master Thesis

This will cover the mandatory courses, give you the 21 ECTS required for Vertiefung and another 18 ECTS you can use for Wahlfach (which is actually more than the 15 you need, so you could, e.g., drop one of Modelltheorie, Beweistheorie or Berechenbarkeit).

Notes:

Mathematical Logic at the University of Technology (TU Wien)

At the Technische Universität Wien (TU for short), there are several active research groups and many interesting courses on mathematical logic and theoretical computer science. You are encouraged to enroll at TU in addition to the Universität Wien (univie for short).

How to enroll at TU and what TU curriculum to choose

When you should enroll

How you can use the TU courses for the univie Master program

Why you should enroll, what courses you should take

While the KGRC offers all mandatory courses for the (Logic part of the) Logik Master, as well as sufficiently many ECTS points for the Vertiefung (MLOV) part, there might be good reasons to take some additional courses at TU:

TU Research groups in (or close to) mathematical logic

(The following list is probably not complete)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2016-06-30, 15:09.