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
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250070 | VO | 4,0 (6,0) | Einführung in die Mathematische Logik | MLOL | Vera Fischer | Mo 8:00-9:30, Fr 9:00-10:30 Beginn: 2015‑10‑05 | KGRC | Englisch |
250071 | PS | 2,0 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Moritz Müller, Stefan Hoffelner | Fr 11:05-12:35 Beginn: 2015‑10‑09 | KGRC | Englisch |
250074 | VO | 3,0 (5,0) | Einführung in die Theoretische Informatik | MLOI | Moritz Müller | Di 15:30-18:00 Beginn: 2015‑10‑06 | KGRC | Englisch |
250075 | SE | 2,0 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2015‑10‑05 | KGRC | Englisch |
250076 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2015‑10‑01 | KGRC | Englisch |
250077 | VO | 2,0 (4,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Benjamin Miller | Di, Do 14:00–15:00 Beginn: 2015‑10‑06 | KGRC | Englisch |
250078 | VO | 2,0 (7,0) | Reading Course Mengenlehre | MLOV | Lyubomyr Zdomskyy | Fr 15:00-17:20 Beginn: 2015‑10‑02 | KGRC | Englisch |
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"