Lehrveranstaltungen Wintersemester 2018/2019
(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 "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 11
Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101
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 | Do 14:15–15:00, Fr 16:45–18:15 Beginn: 2018‑10‑04 | HS11 | Deutsch |
250067 | UE | 1,0 (2,0) | Grundzüge der mathematischen Logik, Gruppe 1 | WLO | Sandra Müller | Fr 15:50–16:351 Beginn: 2018‑10‑12 | HS11 | Deutsch |
250067 | UE | 1,0 (2,0) | Grundzüge der mathematischen Logik, Gruppe 2 | WLO | Marlene Koelbing | Do 13:15–14:00 Beginn: 2018‑10‑04 | HS11 | Deutsch |
Masterstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250099 | SE | 2,0 (4,0) | Seminar (Mathematical logic) | MLOS | Benjamin Miller | Mo, Mi 14:00–15:00 Beginn: 2018‑10‑01 | KGRC | Englisch |
250121 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Benjamin Miller | Di, Do 14:00–15:00 Beginn: 2018‑10‑02 | KGRC | Englisch |
250098 | SE | 2,0 (4,0) | Research seminar in mathematical logic | MLOS | Benjamin Miller | Do 16:00–18:00 Beginn: 2018‑10‑04 | KGRC | Englisch |
250074 | VO | 3,0 (5,0) | Introduction to theoretical computer science | MLOI | Vera Fischer | Fr 16:00-18:20 Beginn: 2018‑10‑12 | KGRC | Englisch |
Module
MLOI - Theoretical Computer Science
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOM - Axiomatische Mengenlehre
- 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"
- Teil des Bachelorstudienplans 2011, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"