Lehrveranstaltungen Sommersemester 2016
(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
Ort "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 11
Ort "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, Erdgeschoss, Hörsaal 2
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250085 | VO | 2,0 (3,0) | Grundbegriffe der mathematischen Logik | MLO | Moritz Müller | Mo 9:45-11:15 Beginn: 2016‑03‑07 | HS11 | Deutsch |
250086 | UE | 1,0 (2,0) | Übungen zu "Grundbegriffe der mathematischen Logik" | MLO | Vera Fischer | Mo 11:30-12:15 Beginn: 2016‑03‑07 | HS2 | Deutsch |
250087 | VO | 3,0 (5,0) | Axiomatische Mengenlehre 1 | MLOM | Vera Fischer | Mo 8:30-11:00 Beginn: 2016‑03‑07 | KGRC | Englisch |
250088 | PS | 2,0 (3,0) | Proseminar zu "Axiomatische Mengenlehre 1" | MLOM | Marlene Koelbing | Fr 9:00-10:30 Beginn: 2016‑03‑04* | KGRC | Englisch |
250089 | PJ+SE | 2,0 (4,0) | Projektseminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2016‑03‑02 | KGRC | Englisch |
250090 | VO | 2,0 (4,0) | Ausgewählte Kapitel der Mathematischen Logik | MLOV | Sy-David Friedman | Di, Do 14:00–15:00 Beginn: 2016‑03‑01 | KGRC | Englisch |
250091 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOV | Sy-David Friedman | Do 16:00–18:00 Beginn: 2016‑03‑03 | KGRC | Englisch |
250092 | VO | 2,0 (3,0) | Modelltheorie | MLOV | Moritz Müller | Di 17:30-19:00* Beginn: 2016‑03‑08 | KGRC | Englisch |
Module
MLOL - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOI - Theoretische Informatik
MLOS - Seminare: Mathematische Logik und theoretische Informatik
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"