Courses Winter Semester 2024/2025

Bachelor's program

(Bachelor of Science)

Number Type Hours (ECTS) Title Module Lecturer Time Place
250046 VO 4.0(6.0) Mathematische Logik LOG Maříková Tue, Thu
09:45–11:15,
starts 2024‑10‑01		 OMP1
Tue SR11
Thu SR7
250057 PS 2.0(4.0) Mathematische Logik LOG Julian Ziegler Hunts Thu
16:45–18:15,
starts 2024‑10‑03		 OMP1
HS13

Master's program

(Master Specialization Mathematical Logic)

Number Type Hours (ECTS) Title Module Lecturer Time Place
250097 VO 4.0(6.0) Introduction to
Mathematical Logic		 MLOL Panagiotopoulos Tue, Thu
8:00-9:30,
starts 2024‑10‑01		 Kolin
250135 PS 2.0(3.0) Introductory Seminar on Mathematical Logic MLOL Padgett Wed
9:45 –11:15,
starts 2024‑10‑02		 Kolin
250099 SE 2.0(4.0) Research Seminar in
Set Theory		 MLOS Fischer,
Panagiotopoulos,
Millhouse		 Thu
11:30–13:00,
starts 2024‑10‑02		 Kolin
250124 SE 2.0(4.0) Logic Colloquium MLOS Aschenbrenner,
Fischer,
Panagiotopoulos		 Thu
15:00–15:50,
starts 2024‑10‑03		 OMP1
250136 VO 3.0 (5.0) Axiomatic Set
Theory 1		 MLOM Fischer Tue, Thu
9:45–11:15,
starts 2024‑10-01		 Kolin
250137 PS 2.0(3.0) Axiomatic Set
Theory 1		 MLOM Millhouse Tue
11:30–13:00,
starts 2024-10‑01		 Kolin
250138 VO 4.0(6.0) Model Theory MLOV Aschenbrenner Tue, Thu
13:15-14:45,
starts 2024‑10‑01		 Kolin
510004 SE 2.0(4.0) Research Seminar in
Model Theory (VSM)		 MLOS Aschenbrenner,
Maříková,
Padgett,
Ziegler Hunts		 Wed
11:30–13:00,
starts 2024‑10‑02		 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, HS13, SR 7 and SR11 - 2nd fl.
Kolingasse 14-16, 1090 Vienna, 1st fl.

Language
All courses are in English

Schedule

Find here the logic courses in one schedule.