Courses Winter Semester 2023/2024

Bachelor's program

Number Type Hours (ECTS) Title Module Lecturer Time Place
250046 VO 4.0(6.0) Mathematische Logik LOG Maříková Wed, Fri

09:45–11:15,
starts 2023‑10‑04

 HS 2, OMP1
250057 PS 2.0(4.0) Mathematische Logik LOG Ziegler Hunts Fri

8:00 – 9:30,
starts 2023‑10‑06

 HS 3, OMP1

Master's program

Number Type Hours (ECTS) Title Module Lecturer Time Place
250099 SE 2.0(4.0) Research Seminar in Set Theory MLOS Fischer Thu

11:30–13:00,
starts 2023‑10‑05

 Kolin
250124 SE 2.0(4.0) Logic Colloquium MLOS Aschenbrenner, Fischer Thu

15:00–15:50,
starts 2023‑10‑05

 OMP1250136
250136 VO 3.0 (5.0) Axiomatic set theory 1 MLOM Fischer Tue, Thu 9:45am–11:15am,
starts 2023‑10-03		 Kolin
250137 PS 2.0(3.0) Introductory Seminar on Axiomatic Set Theory 1 MLOM Millhouse Tue

11:30–13:00,
starts 2023‑10‑03

 Kolin
250138 VO 4.0(6.0) Model Theory MLOV Aschenbrenner Tue, Thu

13:15-14:45,
starts 2023‑10‑03

 Kolin
510004 SE 2.0(4.0) Research Seminar in Model Theory (VSM) MLOS Aschenbrenner, Maříková Wed

11:30–13:00,
starts 2023‑10‑04

 Kolin

Modules & information

  • Bachelor Mathematik 621 - version 2021 [4])

Wahlmodulgruppe "Specialisation" (30 ECTS) Mathematische Logik (10 ECTS)  

  • Mathematics (821 - version 2016 [2])

MLOS (SE), MLOL, MLOM (PS, VO) - 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
In order to receive a grade, your registration, including name, enrollment number, e-mail address, and signature is required within the first two weeks of the semester!

Locations

Oskar-Morgenstern-Platz 1, 1090 Vienna, HS11, 2fl and HS2 and HS3, GF = OMP1
Kolingasse 14-16, 1090 Vienna

Language

All courses are in English

 

 

Schedule

Find here the logic courses in one schedule.