Lehrveranstaltungen Wintersemester 2020/2021

(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 "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 13

Bachelorstudium

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250061VO3,0 (5,0)Grundzüge der mathematischen LogikWLOJana MarikovaFr 11:45-14:00
Beginn: 2020‑10‑02
HS13Deutsch
250067UE1,0 (2,0)Übungen zu "Grundzüge der mathematischen Logik", Gruppe 1WLOJana MarikovaMi 8:00-8:45
Beginn: 2020‑10‑07
onlineDeutsch
250067UE1,0 (2,0)Übungen zu "Grundzüge der mathematischen Logik", Gruppe 2WLOJana MarikovaMi 8:45-9:30
Beginn: 2020‑10‑07
onlineDeutsch

Masterstudium

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250095VO4,0 (6,0)Introduction to mathematical logicMLOLVera FischerDi, Do 9:00-10:30
Beginn: 2020‑10‑01
onlineEnglisch
250098PS2,0 (4,0)Introductory seminar on mathematical logicMLOLDiana Carolina Montoya AmayaMo 9:00-10:30
Beginn: 2020‑10‑05
onlineEnglisch
250099SE2,0 (4,0)Seminar in mathematical logicMLOSBenjamin MillerMo, Mi 14:00-15:00
Beginn: 2020‑10‑05
onlineEnglisch
250121VO2,0 (4,0)Advanced topics in mathematical logicMLOVBenjamin MillerDi, Do 14:00-15:00
Beginn: 2020‑10‑01
onlineEnglisch
510002SE2,0 (4,0)Research Seminar in Mathematical LogicMLOSMatthias AschenbrennerDo 15:00-17:00
Beginn: 2020‑10‑01
onlineEnglisch

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: 2020-10-05, 14:47.