{{menu|Teaching|Lehrveranstaltungen Sommersemester 2016}}
{{comment|
}}
{{EN|,Summer_courses}}
'''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":''' [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
'''Ort "HS11":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], 2. Stock, Hörsaal 11
'''Ort "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], Erdgeschoss, Hörsaal 2
{{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=250085&semester=2016S 250085]|VO|2,0 (3,0)|[/~muellem3/teaching.html Grundbegriffe der mathematischen Logik]|MLO|[/~muellem3/ Moritz Müller]|Mo 9:45-11:15
Beginn: 2016‑03‑07|HS11|Deutsch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250086&semester=2016S 250086]|UE|1,0 (2,0)|Übungen zu "Grundbegriffe der mathematischen Logik"|MLO|[/~vfischer/ Vera Fischer]|Mo 11:30-12:15
Beginn: 2016‑03‑07|HS2|Deutsch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250087&semester=2016S 250087]|VO|3,0 (5,0)|Axiomatische Mengenlehre 1|MLOM|[/~vfischer/ Vera Fischer]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250088&semester=2016S 250088]|PS|2,0 (3,0)|Proseminar zu "Axiomatische Mengenlehre 1"|MLOM|Marlene Koelbing|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250089&semester=2016S 250089]|PJ+SE|2,0 (4,0)|[#Seminar_Mathematische Projektseminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00
Beginn: 2016‑03‑02|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250090&semester=2016S 250090]|VO|2,0 (4,0)|[#AK Ausgewählte Kapitel der Mathematischen Logik]|MLOV|[/~sdf/ Sy-David Friedman]|Di, Do 14:00–15:00
Beginn: 2016‑03‑01|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250091&semester=2016S 250091]|SE|2,0 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|MLOV|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00
Beginn: 2016‑03‑03|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250092&semester=2016S 250092]|VO|2,0 (3,0)|[/~muellem3/teaching.html Modelltheorie]|MLOV|[/~muellem3/ Moritz Müller]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table bottom}}
== Vorbesprechung ==
Tage und Zeiten für VO Axiomatische Mengenlehre 1, PS Proseminar zu "Axiomatische Mengenlehre 1" und VO Modelltheorie werden in einer Vorbesprechung zu Semesterbeginn festgelegt
am 2016-03-01, 12:00 im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]).
== Inhalte der Lehrveranstaltungen ==
=== Ausgewählte Kapitel aus der Mathematischen Logik ===
Zeit: Di, Do 14:00–15:00
Beginn: 2016‑03‑01
Ort: KGRC
''Diese Lehrveranstaltung wird auf Englisch abgehalten.''
''Inhalte werden später angekündigt.''
=== Projektseminar (Mathematische Logik) ===
Zeit: Mo, Mi 14:00–15:00
Beginn: 2016‑03‑02
Ort: KGRC
In diesem Projektseminar 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: 2016‑03‑03
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"