Courses Summer Semester 2022
(Diese Seite gibt es auch auf Deutsch.)
Note: To be graded, your timely registration will be required. Please follow the u:find links below.
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Place "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, ground floor, lecture hall 2
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
Bachelor's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250011 | VO | 3.0 (5.0) | Fundamentals of Mathematical Logic | WLO | Jana Maříková | Tue 3:00pm–4:30pm, Thu 1:15pm–2:45pm begins 2022‑03‑01 | HS2 | English |
| 250012 | UE | 1.0 (2.0) | Fundamentals of Mathematical Logic, discussion session, group 1 | WLO | Allen Gehret | Mon 9:45am–10:30am begins 2022‑03‑07 | SR10 | English |
| 250012 | UE | 1.0 (2.0) | Fundamentals of Mathematical Logic, discussion session, group 2 | WLO | Allen Gehret | Mon 10:45am–11:30am begins 2022‑03‑07 | SR10 | English |
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250053 | VO | 2.0 (3.0) | Special Topics in Set Theory | MLOV | Lyubomyr Zdomskyy | Fri 9:45am–11:15am begins 2022‑03‑04 | SR10* | English |
| 250089 | SE | 2.0 (4.0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer | Thu 3:00pm–4:30pm begins 2022‑03‑10 | HS13 | English |
| 250091 | VO | 3.0 (5.0) | Special Topics in Model Theory | MLOV | Matthias Aschenbrenner | Tue, Thu 1:15pm–2:45pm begins 2022‑03‑01 | SR10 | English |
| 250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Tue, Thu 9:45am–11:15am begins 2022‑03‑01 | SR10 | English |
| 250102 | SE | 2.0 (4.0) | Research Seminar in Set Theory | MLOS | Vera Fischer | Tue 3:00pm–4:30pm begins 2022‑03‑01 | SR10 | English |
| 250179 | PS | 2.0 (3.0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Julia Millhouse | Mon 1:15pm–2:45pm begins 2022‑03‑07 | SR10 | English |
| 510008 | SE | 2.0 (4.0) | Research seminar in Model Theory (VSM) | MLOS | Matthias Aschenbrenner, Allen Gehret | Wed 3:00pm–4:30pm begins 2022‑03‑02 | SR10 | English |
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
MLOM - Basic courses, specialization "Logic"
- part of Master Mathematics (821 [2] - Version 2016) -> Elective Modules
WLO - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)
- part of bachelor's program version 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
+43-1-4277-50501.
Last updated: 2022-03-14, 20:10.