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

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250061VO3,0 (5,0)Grundzüge der mathematischen LogikWLOSandra MüllerDo 14:15–15:00, Fr 16:45–18:15
Beginn: 2018‑10‑04
HS11Deutsch
250067UE1,0 (2,0)Grundzüge der mathematischen Logik, Gruppe 1WLOSandra MüllerFr 15:50–16:351
Beginn: 2018‑10‑12
HS11Deutsch
250067UE1,0 (2,0)Grundzüge der mathematischen Logik, Gruppe 2WLOMarlene KoelbingDo 13:15–14:00
Beginn: 2018‑10‑04
HS11Deutsch
1Möglicherweise sagt u:find, die Zeiten seien 15:00-16:30. Diese Information wäre nicht korrekt.


Masterstudium

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250099SE2,0 (4,0)Seminar (Mathematical logic)MLOSBenjamin MillerMo, Mi 14:00–15:00
Beginn: 2018‑10‑01
KGRCEnglisch
250121VO2,0 (4,0)Advanced topics in mathematical logicMLOVBenjamin MillerDi, Do 14:00–15:00
Beginn: 2018‑10‑02
KGRCEnglisch
250098SE2,0 (4,0)Research seminar in mathematical logicMLOSBenjamin MillerDo 16:00–18:00
Beginn: 2018‑10‑04
KGRCEnglisch
250074VO3,0 (5,0)Introduction to theoretical computer scienceMLOIVera FischerFr 16:00-18:20
Beginn: 2018‑10‑12
KGRCEnglisch

Module

MLOI - Theoretical Computer Science

MLOM - Axiomatische Mengenlehre

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: 2018-10-10, 17:19.