{{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.

'''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&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|&nbsp;|VO|4,0 (6,0)|Einführung in die Mathematische Logik|MLOL|[/~vfischer/ Vera Fischer]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|&nbsp;|PS|2,0 (3,0)|Proseminar zu "Einführung in die Mathematische Logik"|MLOL|[/~montoyd8/ Diana Carolina Montoya Amaya]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|&nbsp;|VO|2,0 (7,0)|Reading Course Mengenlehre|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|&nbsp;|VO|3,0 (5,0)|Einführung in die theoretische Informatik|MLOV|[/~muellem3/ Moritz Müller]|siehe [#prep_meeting Vorbesprechung]|KGRC|Englisch}}
{{table row|&nbsp;|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|&nbsp;|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: 2016&#8209;10&#8209;06|KGRC|Englisch}}
{{table row|&nbsp;|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}}

== <a name="prep_meeting"></a>Vorbesprechung ==

Tage und Zeiten für VO Einführung in die Mathematische Logik, PS Proseminar zu "Einführung in die Mathematische Logik", VO Reading Course Mengenlehre und VO Einführung in die theoretische Informatik werden in einer Vorbesprechung zu Semesterbeginn festgelegt
am 2016-10-03, 12:00 im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]).
{{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"