Courses Summer Semester 2022
Bachelor's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
| 250011> | VO | 3.0 (5.0) | Fundamentals of Mathematical Logic | WLO | Jana Maříková | Tue 3:00pm – 3:50pm starts 2022‑10‑01 |
OMP1 | English |
| 250012 | UE | 2.0 (3.0) | Fundamentals of Mathematical Logic | WLO | Allen Gehret | Mon 9:45am – 10:30am starts 2022‑03‑07 |
Kolin | English |
| 250012 | UE | 2.0 (3.0) | Fundamentals of Mathematical Logic | WLO | Allen Gehret | Mon 10:45am – 11:30am starts 2022‑03‑07 |
Kolin | English |
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
| 250053 | VO | 2.0 (3.0) | Special Topics in Set Theory | MLOV | Lyubomyr Zdomskyy | Fri 9:45am–11:15am starts 2022‑03‑04 |
Kolin | English |
| 250089 | SE | 2.0 (4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer | Thu 3:00pm–4:30pm starts 2022‑03‑10 |
Kolin | English |
| 250091 | VO | 3.0 (5.0) | Special Topics in Model Theory | MLOV | Matthias Aschenbrenner | Tue, Thu 1:15pm–2:45pm starts 2022‑03‑02 |
Kolin | English |
| 250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Tue, Thu 9:45am–11:15am starts 2022‑03‑01 |
Kolin | English |
| 250102 | SE | 2.0 (4.0) | Research Seminar in Set Theory] | MLOS | Vera Fischer | Tue 3:00pm–4:30pm starts 2022‑03‑01 |
Kolin | English |
| 250179 | PS | 2.0 (3.0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Julia Millhouse | Mon 13:15pm–14:45pm starts 2022‑03‑07 |
Kolin | English |
| 510008 | SE | 2.0 (4.0) | Research seminar in Model Theory (VSM) | MLOS | Matthias Aschenbrenner, Allen Gehret | Wed 3:00pm–4:30pm starts 2022‑03‑02 |
Kolin | English |
Modules & information
- Bachelor Mathematics (621 version 2014 [3])
WLO "Mathematische Logik" (elective module: mathematical logic) Wahlmodulgruppe "Mathematisches Wahlfach"
- Master Mathematics (821 - version 2016 [2])
MLOS (SE), MLOM (PS V0
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!
Locations:
Oskar-Morgenstern-Platz 1, 1090 Vienna, HS13 - 2fl and HS2 - 0fl = OMP1
Kolingasse 14-16, 1090 Wien, SR 10 - 1fl = Kolin