Lehrveranstaltungen Sommersemester 2018
(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 "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101
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 | Sandra Müller | Do 11:30-13:45 Beginn: 2018‑03‑08 | KGRC | Englisch |
250101 | PS | 2,0 (3,0) | Proseminar Axiomatic set theory 1*, ** | MLOM | Vera Fischer, Sandra Müller | Fr 13:00-14:30 Beginn: 2018‑03‑09 | KGRC | Englisch |
250103 | SE | 2,0 (4,0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2018‑03‑05 | KGRC | Englisch |
250104 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Lyubomyr Zdomskyy | Di, Do 14:00–15:00 Beginn: 2018‑03‑06 | KGRC | Englisch |
250102 | SE | 2,0 (4,0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2018‑03‑08 | KGRC | Englisch |
250137 | VO | 2,0 (3,0) | Model Theory | MLOV | Vera Fischer | Fr 15:00-16:30 Beginn: 2018‑03‑09 | KGRC | Englisch |
* Im Gegensatz zu Information in u:find findet die LV am 16. März wie gewohnt von 13:00 bis 14:30 statt, jedoch an einer anderen Adresse: Oskar Morgenstern Platz 1, 2. Stock, Seminarraum 11.
** Die LV am 2018-05-04 findet statt am Oskar-Morgenstern-Platz 1, 2. Stock, Seminarraum 13.
Module
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