Courses Winter Semester 2020/2021
Bachelor's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
| 250061 | VO | 4.0 (6.0) | Introduction to mathematical logic | WLO | Jana Maříková | Fri 11:45am – 2:00pm |
HS13 | English |
| 250067 | UE | 2.0 (3.0) | Introduction to mathematical logic | WLO | Jana Maříková | Wed 8:00am – 8:45pm |
online | English |
| 250067 | UE | 2.0 (3.0) | Introduction to mathematical logic | WLO | Jana Maříková | Wed 8:45am – 9:30am |
online | English |
Master's program
| 250095 | VO | 4.0 (6.0) | Introduction to mathematical Science | MLOL | Vera Fischer | Tue, Thu 9:00am – 10:30am |
online | English |
| 250098 | PS | 2.0 (4.0) | Introductory seminar on mathematical logic | MLOL | Diana Montoya | Mon 9:00am – 10:30am |
online | English |
| 250099 | SE | 2.0 (4.0) | Seminar in mathematical logic | MLOS | Benjamin Miller | Mon, Wed 2:00pm – 3:00pm |
online | English |
| 250121 | VO | 2.0 (4.0) | Advanced topics in Mathematical logic | MLOV | Benjamin Miller | Tue, Thu 2:00pm – 3:00pm |
online | English |
| 510002 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Matthias Aschenbrenner | Thu 3:00pm – 3:50pm |
online | English |
Modules & information
- Bachelor Mathematics (621 [3] version 2014)
WLO "Mathematische Logik" (elective module: mathematical logic 7 ECTS))
Wahlmodulgruppe "Mathematisches Wahlfach"
- 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 = OMP1
"online" Because of lock down/covid the courses have been given online.