Lehrveranstaltungen Wintersemester 2015/2016

(This page is also available in English.)

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
250070VO4,0 (6,0)Einführung in die Mathematische LogikMLOLVera FischerMo 8:00-9:30, Fr 9:00-10:30
Beginn: 2015‑10‑05
KGRCEnglisch
250071PS2,0 (3,0)Proseminar zu "Einführung in die Mathematische Logik"MLOLMoritz Müller, Stefan HoffelnerFr 11:05-12:35
Beginn: 2015‑10‑09
KGRCEnglisch
250074VO3,0 (5,0)Einführung in die Theoretische InformatikMLOIMoritz MüllerDi 15:30-18:00
Beginn: 2015‑10‑06
KGRCEnglisch
250075SE2,0 (4,0)Seminar (Mathematische Logik)MLOSSy-David FriedmanMo, Mi 14:00–15:00
Beginn: 2015‑10‑05
KGRCEnglisch
250076SE2,0 (4,0)Forschungsseminar aus der Mathematischen LogikMLOSSy-David FriedmanDo 16:00–18:00
Beginn: 2015‑10‑01
KGRCEnglisch
250077VO2,0 (4,0)Ausgewählte Kapitel aus der MengenlehreMLOVBenjamin MillerDi, Do 14:00–15:00
Beginn: 2015‑10‑06
KGRCEnglisch
250078VO2,0 (7,0)Reading Course MengenlehreMLOVLyubomyr ZdomskyyFr 15:00-17:20
Beginn: 2015‑10‑02
KGRCEnglisch

Inhalte der Lehrveranstaltungen

Ausgewählte Kapitel aus der Mengenlehre

Zeit: Di, Do 14:00–15:00
Beginn: 2015‑10‑06
Ort: KGRC

Diese Lehrveranstaltung wird auf Englisch abgehalten.

This seminar will serve as an introduction to the descriptive set theory of Borel subsets of Polish spaces. The only prerequisite is a rudimentary knowledge of ordinals and point-set topology. The first half of the course will be devoted to classical results, whereas the second will concern the graph-theoretic route toward establishing the many dichotomy theorems of the subject, including Silver's perfect set theorem and the Glimm-Effros characterization of smoothness. Several open questions will also be presented.

Seminar (Mathematische Logik)

Zeit: Mo, Mi 14:00–15:00
Beginn: 2015‑10‑05
Ort: KGRC

In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von Studierenden gehalten (in erster Linie von solchen, die am KGRC eine Diplom- oder Masterarbeit oder Dissertation schreiben).

Forschungsseminar aus der Mathematischen Logik

Zeit: Do 16:00–18:00
Beginn: 2015‑10‑01
Ort: KGRC

Diese Lehrveranstaltung wird auf Englisch abgehalten.

Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.

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-01-08, 17:04.