{{menu|Teaching|Lehrveranstaltungen Sommersemester 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|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 "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 "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 "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], Erdgeschoss, Hörsaal 2}}
== Bachelorstudium ==

{{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=250015&amp;semester=2017S 250015]|VO|3,0 (5,0)|[http://boolesrings.org/sandrauhlenbrock/teaching/grundzuege-2017/ Grundzüge der mathematischen Logik]|WLO|[http://boolesrings.org/sandrauhlenbrock/ Sandra Uhlenbrock]|Di 16:45-18:15, Do 9:45-10:30<br/>Beginn: 2017&#8209;03&#8209;02|HS11|Deutsch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250016&amp;semester=2017S 250016]|UE|1,0 (2,0)|[/~vfischer/UE_Grundbegriffe2017.pdf Übungen zu "Grundzüge der mathematischen Logik"]|WLO|[/~vfischer/ Vera Fischer]|Do 10:45-11:30<br/>Beginn: 2017&#8209;03&#8209;02|HS11|Deutsch}}
{{table bottom}}

== Masterstudium ==

{{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=250100&amp;semester=2017S 250100]|VO|3,0 (5,0)|[/~vfischer/SetTheory1_S2017.pdf Axiomatic set theory&nbsp;1]|MLOM|[/~vfischer/ Vera Fischer]|Mi 11:30-1:50pm<br/>Beginn: 2017&#8209;03&#8209;08|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250101&amp;semester=2017S 250101]|PS|2,0 (3,0)|[/~koelbingm72/TutoratSoSe17.html Proseminar to Axiomatic set theory&nbsp;1]|MLOM|Marlene Koelbing|Do 9:30-11:00<br/>Beginn: 2017&#8209;03&#8209;09|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250103&amp;semester=2017S 250103]|SE|2,0 (4,0)|[/2017/Seminar_summer.html Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00<br/>Beginn: 2017&#8209;03&#8209;06|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250104&amp;semester=2017S 250104]|VO|2,0 (4,0)|[/2017/Advanced_topics_in_mathematical_logic_summer.html Advanced topics in mathematical logic]|MLOV|[/~sdf/ Sy-David Friedman]|Di, Do 14:00–15:00<br/>Beginn: 2017&#8209;03&#8209;02|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250102&amp;semester=2017S 250102]|SE|2,0 (4,0)|[/2017/Research_seminar_summer.html Research seminar in mathematical logic]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00<br/>Beginn: 2017&#8209;03&#8209;02|KGRC|Englisch}}
{{table bottom}}
{{comment|<sup>*</sup> Änderung zu früherer Information}}
== <a name="Module"></a>Module ==
'''WLO''' - Wahlmodul: „Mathematische Logik“
* Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
* Teil des Bachelorstudienplans 2011, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"

'''MLOM''' - Axiomatische Mengenlehre
* Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik
* Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt 
"Mathematische Logik und theoretische Informatik"
* Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic