Courses Summer Semester 2020
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
| 250100 | VO | 3.0 (5.0) | Axiomatic Set Theory | MLOM | Sandra Müller | Thu 12:00pm – 1:45pm |
online | English |
| 250102 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Benjamin Miller | Thu 4:00pm – 6:00pm |
online | English |
| 250103 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Benjamin Miller | Tue 2:00pm – 4:00pm |
online | English |
| 250104 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Sandra Müller | Fri 8:45pm – 11:00am |
online | English |
| 250168 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Sandra Müller, Vera Fischer | Tue, Thu 8:45am – 11:00am starts 2020‑03‑03 |
online | English |
| 250170 | PS | 2.0 (3.0) | Introductory seminar on mathematical logic | MLOL | Maxwell Levine | Mon 10:30am – 11:55am |
online | English |
| 250179 | PS | 2.0 (3.0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Jonathan Schilhan | Wed 2:00pm – 3:30pm |
online | English |
Modules & information
Master Mathematics (821 - version 2016 [2])
MLOS (SE), MLOI (VO), MLOL (VO), MLOM (PS VO) -> 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!
Location:
"online": Because of lock down/covid the courses have been given online.