Courses Winter Semester 2022/2023
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 | Tue 3:00pm – 4:30pm starts 2022‑10‑04 |
Kolin | English |
| 250123 | VO | 3.0 (5.0) | Special Topics in Set Theory | MLOV | Diana Montoya | Tue, Thu 9:45am–11:15am starts 2022‑10‑04 |
Kolin | English |
| 250124 | SE | 2.0 (4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer | Thu 3:00pm – 3:50pm starts 2022‑10‑06 |
Kolin | English |
| 250153 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Jana Maříková | Wed 1:15pm – 2:45pm starts 2022‑10‑05 |
Kolin | English |
| 250158 | VO | 4.0 (6.0) | Topics Course Mathematical Logic | MLOV | Matthias Aschenbrenner | Tue, Thu 1:15pm – 2:45pm starts 2022‑10‑06 |
Kolin | English |
| 510004 | SE | 2.0 (4.0) | Research seminar in model theory | MLOS | Matthias Aschenbrenner, Allen Gehret | Wed 3:00pm – 4:30pm starts 2022‑10‑05 |
Kolin | English |
Modules & information
Bachelor Mathematik (621 [4] - Version 2021)
Wahlmodulgruppe "Specialisation" (30 ECTS) Mathematische Logik (10 ECTS) LOG (VO)
Master Mathematics (821 -version 2016 [2])
MLOI (PS VO) Theoretical Computer Science
MLOS (SE)
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: Kolingasse 14-16, 1090 Vienna, SR 10, 1fl = Kolin