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*
Thu SR7
250057 PS 2.0(4.0) Mathematische Logik LOG Julian Ziegler Hunts Thu
16:45–18:15,
starts 2024‑10‑03		 OMP1
HS02

* Beginning with Oct 22 the TUE time has changed to 11:30–13:00. The location is changing from time to time.

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‑10		 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‑16		 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, SR 7 and SR11 - 2nd fl., HS2 Gfl.
Kolingasse 14-16, 1090 Vienna, 1st fl.

Language
All courses are in English

Schedule

Find here the logic courses in one schedule.