Course Summer Semester 2023
Masters's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250089 | SE | 2.0(4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer | Thu 3:00pm–3:50pm starts 2023‑03‑02 |
OMP1 | English |
| 250102 | SE | 2.0(4.0) | Research Seminar in Set Theory | MLOS | Vera Fischer | Thu 11:30am–1:00pm starts 2023‑03‑07 |
Kolin | English |
| 250134 | VO | 4.0(6.0) | Introduction to Mathematical logic | MLOL | Jana Maříková | Mon*, Wed** 1:15pm–2:45pm starts 2023‑03‑01 |
**Kolin, *SR10 OMP1 | English |
| 250135 | PS | 2.0(3.0) | Introductory Seminar on Mathematical Logic | MLOL | Allen Gehret | Mon 8:00am–9:30am starts 2023‑03‑06 |
Kolin | English |
| 250136 | VO | 4.0(6.0) | Topics in Model Theory | MLOV | Matthias Aschenbrenner | Tue, Thu 1:15pm - 2:45pm starts 2023‑03‑02 |
Kolin | English |
| 250137 | VO | 2.0(3.0) | Topics in Set Theory | MLOV | Vera Fischer | Thu 9:45am–11:15am starts 2023‑03‑07 |
Kolin | English |
| 510010 | SE | 2.0(4.0) | Research Seminar in Model Theory (VSM) | MLOS | Matthias Aschenbrenner, A. Gehret | Wed 3:00pm–4:30pm starts 2023‑03‑01 |
Kolin | 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 HS11 - 2fl, SR10 - 2fl = OMP1
Kolingasse 14-16, 1090 Vienna, SR 10, 1fl = Kolin