Courses Winter Semester 2017/2018

(Diese Seite gibt es auch auf Deutsch.)

Note: To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester!

Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Place "KGRC": Währinger Straße 25, top floor, lecture room 101

Master's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250074VO4.0 (6.0)Introduction to mathematical logicMLOLSandra MüllerWed 4:30pm–6:00pm, Fri 3:00pm–4:30pm
begins 2017‑10‑04
250075PS2.0 (3.0)Introductory seminar on mathematical logicMLOLMarlene KoelbingFri 10:45am–12:15pm
begins 2017‑10‑06
250122VO2.0 (7.0)Reading course in set theoryMLOVVera FischerFri 9:00am–10:30am
begins 2017‑10‑06
250073VO3.0 (5.0)Introduction to theoretical computer scienceMLOIVera FischerTue 3:15pm–5:30pm
begins 2017‑10‑03*
250099SE2.0 (4.0)Seminar (Mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2017‑10‑02**
250098SE2.0 (4.0)Research seminar in mathematical logicMLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2017‑10‑05
250121VO2.0 (4.0)Selected topics in set theoryMLOVBen MillerTue, Thu 2:00pm–3:00pm
begins 2017‑10‑03

* There will be no lecture on October 10. The next lecture will take place on October 17.

** There will be no lectures on October 9 and October 11. The next lecture will take place on October 16.


MLOI - Theoretical Computer Science

MLOM - Axiomatische Mengenlehre (axiomatic set theory)

MLOS - Seminars: Mathematical Logic and Theoretical Computer Science

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)

WLO - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)

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: 2018-01-05, 08:24.