Courses Winter Semester 2021/2022
(Diese Seite gibt es auch auf Deutsch.)
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!
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Place "HS8": Oskar-Morgenstern-Platz 1, 1090 Wien, 1st floor, lecture hall 8
Place "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 13
Place "SR10": Kolingasse 14-16, 1090 Wien, 1st floor, seminar room 10
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250095 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Jana Maříková | Tue, Thu 1:15pm–2:45pm begins 2021‑10‑05 | SR10 | English |
| 250098 | PS | 2.0 (3.0) | Introductory seminar on mathematical logic | MLOL | Allen Gehret | Wed 9:45am–11:15am begins 2021‑10‑06 | SR10 | English |
| 250099 | SE | 2.0 (4.0) | Research seminar in set theory | MLOS | Vera Fischer | Tue 3:00pm–4:30pm begins 2021‑10‑05 | HS8 | English |
| 250118 | SE | 2.0 (4.0) | Research seminar in model theory | MLOS | Matthias Aschenbrenner, Allen Gehret | Wed 3:00pm–4:30pm begins 2021‑10‑06 | SR10 | English |
| 250119 | VO | 3.0 (5.0) | Model theory | MLOV | Matthias Aschenbrenner | Wed, Fri 1:15pm–2:45pm begins 2021‑10‑01 | SR10 | English |
| 250123 | VO | 3.0 (5.0) | Special Topics in Set Theory | MLOV | Corey Switzer | Tue, Thu 9:45am–11:15am begins 2021‑10‑05 | SR10 | English |
| 250124 | SE | 2.0 (4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer, Benjamin Miller | Thu 3:00pm–3:45pm begins 2021‑10‑07 | HS13 | English |
Modules
MLOL - Core modules logic
- part of master's program, elective modules
MLOS - Seminars: Mathematical Logic and Theoretical Computer Science
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
+43-1-4277-50501.
Last updated: 2022-03-14, 20:14.