Lehrveranstaltungen Wintersemester 2019/2020
(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.
Hinweis: Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!
Ort "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 11
Ort "KGRC": Augasse 2-6, 1090 Wien, 5. Stock, Seminarraum C5.48
Bachelorstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250061 | VO | 3,0 (5,0) | Grundzüge der mathematischen Logik | WLO | Sandra Müller | Fr 8:00-10:15 Beginn: 2019‑10‑04 | HS13 | Deutsch |
250067 | UE | 1,0 (2,0) | Grundzüge der mathematischen Logik, Gruppe 1 | WLO | Sandra Müller | Fr 10:30-11:15 Beginn: 2019‑10‑04 | HS13 | Deutsch |
250067 | UE | 1,0 (2,0) | Grundzüge der mathematischen Logik, Gruppe 2 | WLO | Marlene Koelbing | Di 8:45–9:30 Beginn: 2019‑10‑01 | HS13 | Deutsch |
Masterstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250074 | VO | 3,0 (5,0) | Introduction to theoretical computer science | MLOI | Vera Fischer | Do 9:00-12:00 Beginn: 2019‑10‑03 | KGRC | Englisch |
250099 | SE | 2,0 (4,0) | Seminar in mathematical logic | MLOS | Benjamin Miller | Mo, Mi 14:00–15:00 Beginn: 2019‑10‑02 | KGRC | Englisch |
250116 | VO | 2,0 (3,0) | Axiomatic Set Theory 2 | MLOV | Monroe Eskew | Mo, Mi 12:30-13:30 Beginn: 2019‑10‑02 | KGRC | Englisch |
250121 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Benjamin Miller | Di, Do 14:00–15:00 Beginn: 2019‑10‑01 | KGRC | Englisch |
442505 | SE | 2,0 (4,0) | Research Seminar in mathematical logic | MLOV | Benjamin Miller | Do 16:00–18:00 Beginn: 2019‑10‑03 | KGRC | Englisch |
Module
MLOI - Theoretical Computer Science
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
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
WLO - Wahlmodul: „Mathematische Logik“
- Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"