{{menu|Teaching|Lehrveranstaltungen Wintersemester 2015/2016}}
{{EN|Winter_courses}}
'''Hinweis:''' Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
'''Ort "KGRC":''' [https://maps.google.at/maps?q=Kurt+G%C3%B6del+Research+Center+(KGRC)+for+Mathematical+Logic,+University+of+Vienna,+W%C3%A4hringer+Stra%C3%9Fe,+Wien&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|2. Stock]], Seminarraum 101
{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragende(r)|Zeit (pünktl.)|Ort|Sprache}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250070&semester=2015W 250070]|VO|4,0 (6,0)|[http://www.logic.univie.ac.at/~vfischer/MathLogicWS2015.pdf Einführung in die Mathematische Logik]|MLOL|[/~vfischer/ Vera Fischer]|Mo 8:00-9:30, Fr 9:00-10:30
Beginn: 2015‑10‑05|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250071&semester=2015W 250071]|PS|2,0 (3,0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Proseminar zu "Einführung in die Mathematische Logik"]|MLOL|[/~muellem3/ Moritz Müller], Stefan Hoffelner|Fr 11:05-12:35
Beginn: 2015‑10‑09|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250074&semester=2015W 250074]|VO|3,0 (5,0)|[/~muellem3/teaching.html Einführung in die Theoretische Informatik]|MLOI|[/~muellem3/ Moritz Müller]|Di 15:30-18:00
Beginn: 2015‑10‑06|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250075&semester=2015W 250075]|SE|2,0 (4,0)|[#Seminar_Mathematische Seminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00
Beginn: 2015‑10‑05|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250076&semester=2015W 250076]|SE|2,0 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00
Beginn: 2015‑10‑01|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250077&semester=2015W 250077]|VO|2,0 (4,0)|[#AK Ausgewählte Kapitel aus der Mengenlehre]|MLOV|[/benjamin.miller/ Benjamin Miller]|Di, Do 14:00–15:00
Beginn: 2015‑10‑06|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250078&semester=2015W 250078]|VO|2,0 (7,0)|[/~lzdomsky/set_theory_2_ws2015_16.pdf Reading Course Mengenlehre]|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|Fr 15:00-17:20
Beginn: 2015‑10‑02|KGRC|Englisch}}
{{table bottom}}
== 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"