{{menu|Teaching|Lehrveranstaltungen Sommersemester 2016}}
<nowiki>
<!--
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'], ["\(","\)"] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
-->
</nowiki>
{{EN|Summer_courses}}

'''Hinweis:''' Um eine Note zu erhalten, ist Ihre Eintragung mit Name, Matrikelnummer, E-Mail und Unterschrift in die Teilnehmerliste in den ersten zwei Wochen des Semesters erforderlich!

'''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&amp;hl=de&amp;ie=UTF8&amp;sll=48.220685,16.38006&amp;sspn=0.372851,0.617294&amp;oq=kurt+g%C3%B6del+re&amp;t=m&amp;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|Vortra&shy;gende(r)|Zeit (pünktl.)|Ort|Sprache}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250085&amp;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<br/>Beginn: 2016&#8209;03&#8209;07|HS11|Deutsch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250086&amp;semester=2016S 250086]|UE|1,0 (2,0)|[/~vfischer/UE_Grundbegriffe2016.pdf Übungen zu "Grundbegriffe der mathematischen Logik"]|MLO|[/~vfischer/ Vera Fischer]|Mo 11:30-12:15<br/>Beginn: 2016&#8209;03&#8209;07|HS2|Deutsch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250087&amp;semester=2016S 250087]|VO|3,0 (5,0)|[http://www.logic.univie.ac.at/~vfischer/SetTheory1.pdf Axiomatische Mengenlehre&nbsp;1]|MLOM|[/~vfischer/ Vera Fischer]|Mo 8:30-11:00<br/>Beginn: 2016&#8209;03&#8209;07|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250088&amp;semester=2016S 250088]|PS|2,0 (3,0)|[/~koelbingm72/Tutorat.html Proseminar zu "Axiomatische Mengenlehre&nbsp;1"]|MLOM|Marlene Koelbing|Fr 9:00-10:30<br/>Beginn: <span style="font:bold;color:#ff0000;">2016&#8209;03&#8209;04</span><sup>*</sup>|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250089&amp;semester=2016S 250089]|PJ+SE|2,0 (4,0)|[/2016/Project_seminar.html Projektseminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00<br/>Beginn: 2016&#8209;03&#8209;02|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250090&amp;semester=2016S 250090]|VO|2,0 (4,0)|[/2016/Selected_topics_in_mathematical_logic.html Ausgewählte Kapitel der Mathematischen Logik]|MLOV|[/~sdf/ Sy-David Friedman]|Di, Do 14:00–15:00<br/>Beginn: 2016&#8209;03&#8209;01|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250091&amp;semester=2016S 250091]|SE|2,0 (4,0)|[/2016/Research_seminar.html Forschungsseminar aus der Mathematischen Logik]|MLOV|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00<br/>Beginn: 2016&#8209;03&#8209;03|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250092&amp;semester=2016S 250092]|VO|2,0 (3,0)|[/~muellem3/teaching.html Modelltheorie]|MLOV|[/~muellem3/ Moritz Müller]|Di <span style="font:bold;color:#ff0000;">17:30-19:00</span><sup>*</sup><br/>Beginn: 2016&#8209;03&#8209;08|KGRC|Englisch}}
{{table bottom}}
{{comment|== Inhalte der Lehrveranstaltungen ==

=== <a name="AK"></a>Ausgewählte Kapitel aus der Mathematischen Logik ===

Zeit: Di, Do 14:00–15:00<br/>
Beginn: 2016&#8209;03&#8209;01<br/>
Ort: KGRC

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

In this course I'll explore three central combinatorial properties of set theory and their interaction. The Tree Property (TP) at a regular cardinal $\kappa$ asserts
the nonexistence of a $\kappa$-tree with no $\kappa$-branch. The Reflection Property (RP) at the successor $\kappa^+$ of a regular cardinal $\kappa$ asserts that any
stationary subset of kappa^+ consisting of ordinals of cofinality less than kappa has a stationary proper initial segment. And the Approachability Property (AP)
at a regular cardinal kappa asserts the existence of a sequence $(a_i | i &lt; \kappa)$ of bounded subsets of $\kappa$ such that for club-many $\alpha &lt; \kappa$, there is a
cofinal sequence in $\alpha$ of ordertype cof($\alpha$) all of whose proper initial segments are of the form $a_i$ for some $i < \alpha$. We'll develop the tools needed for
the "Eightfold Way Theorem", the result asserting that all 8 Boolean combinations of TP,RP,AP are possible at double successor cardinals. The situation at
successors of limit cardinals is not yet well-understood.

=== <a name="Seminar_Mathematische"></a>Projektseminar (Mathematische Logik) ===

Zeit: Mo, Mi 14:00–15:00<br/>
Beginn: 2016&#8209;03&#8209;02<br/>
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). 

=== <a name="Forschungsseminar"></a>Forschungsseminar aus der Mathematischen Logik ===

Zeit: Do 16:00–18:00<br/>
Beginn: 2016&#8209;03&#8209;03<br/>
Ort: KGRC

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.
}}
<sup>*</sup> Änderung zu früherer Information

== <a name="Module"></a>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"