Lehrveranstaltungen Wintersemester 2016/2017

(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


NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250074VO4,0 (6,0)Einführung in die Mathematische LogikMLOLVera FischerDi 9:00-10:30, Fr 9:00-10:30*
Beginn: 2016‑10‑04
KGRCEnglisch
250075PS2,0 (3,0)Proseminar zu "Einführung in die Mathematische Logik"MLOLDiana Carolina Montoya AmayaMi 10:00-11:30*
Beginn: 2016‑10‑05
KGRCEnglisch
250122VO2,0 (7,0)Reading Course in mathematischer LogikMLOVLyubomyr ZdomskyyMo 12:20-13:50
Beginn: 2016‑10‑10
KGRCEnglisch
250073VO3,0 (5,0)Einführung in die theoretische InformatikMLOIMoritz MüllerDi 12:20-13:50, Mi 16:15-17:45
Beginn: 2016‑10‑04
KGRCEnglisch
250130VO2,0 (3,0)Topics in computabilityMLOVMoritz MüllerDi 15:30-5:30pm
Beginn: 2016‑10‑04
KGRCEnglisch
250099SE2,0 (4,0)Seminar (Mathematische Logik)MLOSSy-David FriedmanMo, Mi 14:00–15:00
Beginn: 2016‑10‑03
KGRCEnglisch
250098SE2,0 (4,0)Forschungsseminar aus der Mathematischen LogikMLOSSy-David FriedmanDo 16:00–18:00
Beginn: 2016‑10‑03*
KGRCEnglisch
250121VO2,0 (4,0)Ausgewählte Kapitel aus der MengenlehreMLOVBen MillerDi, Do 14:00–15:00
Beginn: 2016‑10‑04
KGRCEnglisch
* Änderung zu früherer Information

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"

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: 2016-10-10, 13:54.