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 "HS2": Oskar-Morgenstern-Platz 1, Erdgeschoss, Hörsaal 2
Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250074 | VO | 3,0 (5,0) | Einführung in die Theoretische Informatik | MLOI | Moritz Müller | TBA Beginn: TBA | Deutsch | |
250070 | VO | 4,0 (6,0) | Einführung in die Mathematische Logik | MLOL | Vera Fischer | TBA Beginn: TBA | Englisch | |
250071 | PS | 2,0 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Stefan Hoffelner | TBA Beginn: TBA | Deutsch | |
250078 | VO | 2,0 (7,0) | Reading Course Mengenlehre | MLOV | Lyubomyr Zdomskyy | TBA Beginn: TBA | KGRC | Englisch |
250126 | PS | 2,0 (3,0) | Proseminar zu "Axiomatische Mengenlehre 1" | Anda-Ramona Tanasie | Mi 9:45-11:15 Beginn: 2015-03-11 | KGRC | Englisch | |
250131 | VO | 2,0 (3,0) | Berechenbarkeit und Komplexität | MLOV | Moritz Müller | Di 16:00-17:30 Beginn: 2015-03-10 | KGRC | Englisch |
250077 | VO | 2,0 (4,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Benjamin Miller | TBA Beginn: TBA | KGRC | Englisch |
250128 | SE | 2,0 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2015-03-02 | KGRC | Englisch |
250127 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2015-03-05 | KGRC | Englisch |
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mengenlehre
Zeit: TBA
Beginn: TBA
Ort: KGRC
Diese Lehrveranstaltung wird auf Englisch abgehalten.
HOD and the Stable Core
This course will explore ways in which Gödel's inner model HOD serves as a good approximation to the universe V of all sets. A useful tool in this investigation is the Stable Core, an inner model of HOD with an enhanced degree of robustness. Among the properties we'll consider are the Genericity of V over HOD, the Rigidity of HOD, Covering properties of V with respect to HOD and the Witnessing of Large Cardinal Properties in HOD. The material for the course will be derived from work of Vopenka, Woodin, Gitik, myself and others.
Seminar (Mathematische Logik)
Zeit: Mo, Mi 14:00–15:00
Beginn: 2015-03-02
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-03-05
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"