Lehrveranstaltungen Sommersemester 2017
(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 |
---|---|---|---|---|---|---|---|---|
250015 | VO | 3,0 (5,0) | Grundzüge der mathematischen Logik | WLO | Sandra Uhlenbrock | Di 16:45-18:15, Do 9:45-10:30 Beginn: 2017‑03‑02 | HS11 | Deutsch |
250016 | UE | 1,0 (2,0) | Übungen zu "Grundzüge der mathematischen Logik" | WLO | Vera Fischer | Do 10:45-11:30 Beginn: 2017‑03‑02 | HS11 | Deutsch |
Masterstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250100 | VO | 3,0 (5,0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Mi 11:30-1:50pm Beginn: 2017‑03‑08 | KGRC | Englisch |
250101 | PS | 2,0 (3,0) | Proseminar to Axiomatic set theory 1 | MLOM | Marlene Koelbing | Do 9:30-11:00 Beginn: 2017‑03‑09 | KGRC | Englisch |
250103 | SE | 2,0 (4,0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2017‑03‑06 | KGRC | Englisch |
250104 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Sy-David Friedman | Di, Do 14:00–15:00 Beginn: 2017‑03‑02 | KGRC | Englisch |
250102 | SE | 2,0 (4,0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2017‑03‑02 | KGRC | Englisch |
Module
WLO - Wahlmodul: „Mathematische Logik“
- Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
- Teil des Bachelorstudienplans 2011, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"
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