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.

Hinweis: Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!

Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101


NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
 VO4,0 (6,0)Einführung in die Mathematische LogikMLOLVera Fischersiehe VorbesprechungKGRCEnglisch
 PS2,0 (3,0)Proseminar zu "Einführung in die Mathematische Logik"MLOLDiana Carolina Montoya Amayasiehe VorbesprechungKGRCEnglisch
 VO2,0 (7,0)Reading Course MengenlehreMLOVLyubomyr Zdomskyysiehe VorbesprechungKGRCEnglisch
 VO3,0 (5,0)Einführung in die theoretische InformatikMLOVMoritz Müllersiehe VorbesprechungKGRCEnglisch
 SE2,0 (4,0)Seminar (Mathematische Logik)MLOSSy-David FriedmanMo, Mi 14:00–15:00
Beginn: 2016‑10‑03
KGRCEnglisch
 SE2,0 (4,0)Forschungsseminar aus der Mathematischen LogikMLOSSy-David FriedmanDo 16:00–18:00
Beginn: 2016‑10‑06
KGRCEnglisch
 VO2,0 (4,0)Ausgewählte Kapitel aus der MengenlehreMLOVBen MillerDi, Do 14:00–15:00
Beginn: 2016‑10‑04
KGRCEnglisch

Vorbesprechung

Tage und Zeiten für VO Einführung in die Mathematische Logik, PS Proseminar zu "Einführung in die Mathematische Logik", VO Reading Course Mengenlehre und VO Einführung in die theoretische Informatik werden in einer Vorbesprechung zu Semesterbeginn festgelegt am 2016-10-03, 12:00 im Seminarraum des KGRC (Zimmer 101).

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-06-27, 13:40.