Lehrveranstaltungen Wintersemester 2021/2022
(This page is also available in English.)
Hinweis: Um eine Note zu erhalten, ist Ihre Eintragung mit Name, Matrikelnummer, E-Mail und Unterschrift in die Teilnehmerliste in den ersten zwei Wochen des Semesters erforderlich!
Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
Ort "HS8": Oskar-Morgenstern-Platz 1, 1090 Wien, 1. Stock, Hörsaal 8
Ort "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 1
Ort "SR10": Kolingasse 14-16, 1090 Wien, 1. Stock, Seminarraum 10
Masterstudium
| Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
|---|---|---|---|---|---|---|---|---|
| 250095 | VO | 4,0 (6,0) | Introduction to mathematical logic | MLOL | Jana Maříková | Di, Do 13:15-14:45 Beginn: 2021‑10‑05 | SR10 | Englisch |
| 250098 | PS | 2,0 (3,0) | Introductory seminar on mathematical logic | MLOL | Allen Gehret | Mi 9:45-11:15 Beginn: 2021‑10‑06 | SR10 | Englisch |
| 250099 | SE | 2,0 (4,0) | Research seminar in set theory | MLOS | Vera Fischer | Di 15:00-16:30 Beginn: 2021‑10‑05 | HS8 | Englisch |
| 250118 | SE | 2,0 (4,0) | Research seminar in model theory | MLOS | Matthias Aschenbrenner, Allen Gehret | Mi 15:00-16:30 Beginn: 2021‑10‑06 | SR10 | Englisch |
| 250119 | VO | 3,0 (5,0) | Model theory | MLOV | Matthias Aschenbrenner | Mi, Fr 13:15-14:45 Beginn: 2021‑10‑01 | SR10 | Englisch |
| 250123 | VO | 3,0 (5,0) | Special Topics in Set Theory | MLOV | Corey Switzer | Di, Do 9:45-11:15 Beginn: 2021‑10‑05 | SR10 | Englisch |
| 250124 | SE | 2,0 (4,0) | Logic Colloquium | MLOS | Matthias Aschenbrenner, Vera Fischer, Benjamin Miller | Do 15:00-15:45 Beginn: 2021‑10‑07 | HS13 | Englisch |
Module
MLOL - Core modules logic
- Teil des Masterstudiums, Elective Modules
MLOS - Seminare: Mathematische Logik und theoretische Informatik
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
+43-1-4277-50501.
Last updated: 2022-03-14, 20:14.