Courses Winter Semester 2019/2020

Bachelor's program

Number Type Hours (ECTS) Title Module Lecturer Time Place Language
250061 VO 3.0 (5.0) Introduction to mathematical logic WLO Sandra Müller Fri

8:00am – 10:15pm
starts 2019‑10‑04

 HS13 English
250067 UE 1.0 (2.0) Introduction to mathematical logic WLO Sandra Müller Fri

10:30am – 11:15pm
starts 2019‑10‑04

 HS 13 English
250067 UE 1.0 (2.0) Introduction to mathematical logic WLO Marlene Koelbing Tue

8:45am – 9:30am
starts 2019‑10‑01

 HS13 English

Master's program

Number Type Hours (ECTS) Title Module Lecturer Time Place Language
250074 VO 3.0 (5.0) Introduction to theoretical computer science MLOI Vera Fischer Tue

9:00pm – 12:00pm
starts 2019‑10‑03*

 KGRC English
250099 SE 2.0 (4.0) Seminar (Mathematical logic) MLOS Ben Miller Mon, Wed

2:00pm – 3:00pm
starts 2019‑10‑02**

 KGRC English
250116 VO 2.0 (3.0) Axiomatic Set Theory 2l logic MLOV Monreo Eskew Mon, Wed

12:30pm – 1:30pm
starts 2019‑10‑02

 KGRC English
250121 VO 2.0 (4.0) Advanced topics in mathematical logic MLOV Ben Miller Tue, Thu

2:00pm – 3:00pm
starts 2019‑10‑01

 KGRC English
442505 SE 2.0 (4.0) Research Seminar in mathematical logic MLOV Ben Miller Thu

4:00pm – 6:00pm
starts 2019‑10‑03

 KGRC English

Modules & information

  • Bachelor Mathematics (621 [3] version 2014)

WLO "Mathematische Logik" (elective module: mathematical logic 7 ECTS))
Wahlmodulgruppe "Mathematisches Wahlfach"

  • Master Mathematics (821 -version 2016 [2])

MLOS (SE), MLOI (VO)
all are part of the elective modules (75 ECTS) ->Mathematical logic and theoretical computer science (51 ECTS) -> Core modules logic

MLOV (VO) - elective modules (75 ECTS) -> Mathematical logic and theoretical computer science (51 ECTS) -> Topics courses logic

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 "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 13

Place "KGRC": Augasse 2-6, 1090 Wien, 5th floor, lecture room C5.48