{{menu|Teaching|Lehrveranstaltungen Wintersemester 2016/2017}}
<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|Winter_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

{{comment|'''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=250074&amp;semester=2016W 250074]|VO|4,0 (6,0)|[/~vfischer/MathLogicWS2016.pdf Einführung in die Mathematische Logik]|MLOL|[/~vfischer/ Vera Fischer]|Di 9:00-10:30, <span style="font:bold;color:#ff0000">Fr 9:00-10:30</span><sup>*</sup><br/>Beginn: 2016&#8209;10&#8209;04|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250075&amp;semester=2016W 250075]|PS|2,0 (3,0)|[/~montoyd8/teaching.html Proseminar zu "Einführung in die Mathematische Logik"]|MLOL|[/~montoyd8/ Diana Carolina Montoya Amaya]|Mi <span style="font:bold;color:#ff0000">10:00-11:30</span><sup>*</sup><br/>Beginn: 2016&#8209;10&#8209;05|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250122&amp;semester=2016W 250122]|VO|2,0 (7,0)|[/~lzdomsky/set_theory_2_ws2016_17.pdf Reading Course in mathematischer Logik]|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|Mo 12:20-13:50<br/>Beginn: 2016&#8209;10&#8209;10|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250073&amp;semester=2016W 250073]|VO|3,0 (5,0)|[/~muellem3/teaching.html Einführung in die theoretische Informatik]|MLOI|[/~muellem3/ Moritz Müller]|Di 12:20-13:50, Mi 16:15-17:45<br/>Beginn: 2016&#8209;10&#8209;04|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250130&amp;semester=2016W 250130]|VO|2,0 (3,0)|[/~muellem3/teaching.html Topics in computability]|MLOV|[/~muellem3/ Moritz Müller]|Di 15:30-5:30pm<br/>Beginn: 2016&#8209;10&#8209;04|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250099&amp;semester=2016W 250099]|SE|2,0 (4,0)|[/2016/Seminar_winter.html Seminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00<br/>Beginn: 2016&#8209;10&#8209;03|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250098&amp;semester=2016W 250098]|SE|2,0 (4,0)|[/2016/Research_seminar_winter.html Forschungsseminar aus der Mathematischen Logik]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00<br/>Beginn: <span style="font:bold;color:#ff0000">2016&#8209;10&#8209;03</span><sup>*</sup>|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250121&amp;semester=2016W 250121]|VO|2,0 (4,0)|[/2016/Selected_topics_in_mathematical_logic_winter.html Ausgewählte Kapitel aus der Mengenlehre]|MLOV|[/benjamin.miller/ Ben Miller]|Di, Do 14:00–15:00<br/>Beginn: 2016&#8209;10&#8209;04|KGRC|Englisch}}
{{table bottom}}
<sup>*</sup> Änderung zu früherer Information
{{comment|<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"