Courses Sommer Semester 2021
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250052 | VO | 3.0 (5.0) | Introduction to Theoretical Computer Science | MLOI | Jana Maříková | Mon 11:15am – 12:45pm Wed 8:45am – 10:15am |
online | English |
| 250053 | VO | 2.0 (3.0) | Model Theory of Valued Fields | MLOV | Matthias Aschenbrenner | Tue, Thu 10:30am – 11:15am |
online | English |
| 250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Tue, Thu 8:45am – 10:15am |
online | English |
| 250103 | SE | 2.0 (4.0) | Seminar in Mathematical logic | MLOS | Benjamin Miller | Mon, Wed Wed 4:45pm – 5:30pm |
online | English |
| 250179 | PS | 2.0 (3.0) | Seminar on Axiomatic set theory 1 | MLOM | Vera Fischer, Jana Maříková | Fri 8:45am – 10:15am |
online | English |
| 510005 | SE | 2.0 (4.0) | Research Seminar in mathematical logic | MLOS | Matthias Aschenbrenner | Thu 3:00pm – 3:50pm |
online | English |
Modules & information
Master Mathematics (821 - version 2016 [2])
MLOS (SE), MLOI (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 - advanced courses
Note:
To be graded, your timely registration will be required. Please follow the u:find links above.
Location:
"online": because of covid the courses have been given online