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

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250061VO3,0 (5,0)Grundzüge der mathematischen LogikWLOSandra MüllerFr 8:00-10:15
Beginn: 2019‑10‑04
HS13Deutsch
250067UE1,0 (2,0)Grundzüge der mathematischen Logik, Gruppe 1WLOSandra MüllerFr 10:30-11:15
Beginn: 2019‑10‑04
HS13Deutsch
250067UE1,0 (2,0)Grundzüge der mathematischen Logik, Gruppe 2WLOMarlene KoelbingDi 8:45–9:30
Beginn: 2019‑10‑01
HS13Deutsch


Masterstudium

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250074VO3,0 (5,0)Introduction to theoretical computer scienceMLOIVera FischerDo 9:00-12:00
Beginn: 2019‑10‑03
KGRCEnglisch
250099SE2,0 (4,0)Seminar in mathematical logicMLOSBenjamin MillerMo, Mi 14:00–15:00
Beginn: 2019‑10‑02
KGRCEnglisch
250116VO2,0 (3,0)Axiomatic Set Theory 2MLOVMonroe EskewMo, Mi 12:30-13:30
Beginn: 2019‑10‑02
KGRCEnglisch
250121VO2,0 (4,0)Advanced topics in mathematical logicMLOVBenjamin MillerDi, Do 14:00–15:00
Beginn: 2019‑10‑01
KGRCEnglisch
442505SE2,0 (4,0)Research Seminar in mathematical logicMLOVBenjamin MillerDo 16:00–18:00
Beginn: 2019‑10‑03
KGRCEnglisch

Module

MLOI - Theoretical Computer Science

MLOS - Seminare: Mathematische Logik und theoretische Informatik

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

WLO - Wahlmodul: „Mathematische Logik“

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2019-08-20, 08:41.