Courses Winter Semester 2021/2022
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250095 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Jana Maříková | Tue, Thu 1:15pm – 2:15pm starts 2021‑10‑05 |
Kolin | English |
| 250098 | PS | 2.0 (3.0) | Introductory seminar on mathematical logic | MLOL | Allen Gehret | Wed 9:45am–11:15am starts 2021‑10‑06 |
Kolin | English |
| 250099 | SE | 2.0 (4.0) | Research seminar in set theory | MLOS | Vera Fischer | Tue 3:00pm – 4:30pm starts 2021‑10‑05 |
OMP1, HS8 | English |
| 250118 | SE | 2.0 (4.0) | Research seminar in model theory | MLOS | Matthias Aschenbrenner, Allen Gehret | Wed 3:00pm – 4:30pm starts 2021‑10‑06 |
Kolin | English |
| 250119 | VO | 3.0 (5.0) | Model theory | MLOV | Matthias Aschenbrenner | Wed, Fri 1:15pm – 2:45pm starts 2021‑10‑01 |
Kolin | English |
| 250123 | VO | 3.0 (5.0) | Special Topics in Set Theory | MLOV | Corey Switzer | Tue, Thu 9:45am – 11:15am starts 2021‑10‑05 |
Kolin | English |
| 250124 | SE | 2.0 (4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer, Benjamin Miller | Thu 3:00pm – 3:50pm starts 2021-10-07 |
OMP1, HS13 | English |
Modules & information
Master Mathematics (821 - version 2016 [2])
MLOS (SE), MLOL (PS, VO) )
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, HS 8 - 1fl =OMP1
Kolingasse 14-16, 1090 Vienna, SR 10 - 1fl = Kolin