Courses Winter Semester 2023/2024
Bachelor's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250046 | VO | 4.0(6.0) | Mathematische Logik | LOG | Jana Maříková | Wed, Fri 09:45am –11:15am starts 2023‑10‑04 |
HS 2, OMP1 | English |
| 250057 | PS | 2.0(4.0) | Mathematische Logik | LOG | Julian Ziegler-Hunts | Fri 8:00am – 9:30am starts 2023‑10‑06 |
HS 3, OMP1 | English |
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250099 | SE | 2.0(4.0) | Research Seminar in Set Theory | MLOS | Vera Fischer | Thu 11:30am – 1:00pm starts 2023‑10‑05 |
Kolin | English |
| 250124 | SE | 2.0(4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer | Thu 3:00pm – 3:50pm starts 2023‑10‑05 |
OMP1 | E |
| 250136 | VO | 3.0(5.0) | Axiomatic Set Theory 1 | MLOM | Vera Fischer | Tue, Thu 9:45am – 11:15am starts 2023‑10‑03 |
Kolin | English |
| 250137 | PS | 2.0(3.0) | Introductory Seminar on Axiomatic Set Theory 1 | MLOM | Julia Millhouse | Tue 11:30am – 1:00pm starts 2023‑10‑03 |
Kolin | English |
| 250138 | VO | 4.0(6.0) | Model Theory | MLOV | Matthias Aschenbrenner | Tue, Thu 1:15pm - 2:45pm starts 2023‑10‑03 |
Kolin | English |
| 510004 | SE | 2.0(4.0) | Research Seminar in Model Theory (VSM) | MLOS | Matthias Aschenbrenner, Jana Maříková | Wed 11:30am – 1:00pm starts 2023‑10‑04 |
Kolin | English |
Modules & information
- Bachelor Mathematik 621 - version 2021 [4])
Wahlmodulgruppe "Specialisation" (30 ECTS) Mathematische Logik (10 ECTS)
- Mathematics (821 - version 2016 [2])
MLOM (PS VO) - basic courses, specialization "Logic"
MLOS (SE), MLOL (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 - advanced courses
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
Schedule
Find here the logic courses in one schedule.