{{menu|Teaching|Courses Winter Semester 2017/2018}}
<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>
{{DE|Winter-LVA}}

'''Note:''' To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester!

'''Note:''' All lectures at the KGRC are given in English, or at least can be given in English if requested.

'''Place "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|top floor]], lecture room 101
{{comment|'''Place "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], ground floor, lecture hall 2}}{{table bottom}}

== Master's program ==

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250074&amp;semester=2017W 250074]|VO|4.0 (6.0)|[https://muellersandra.github.io/teaching/introduction-to-mathematical-logic-wise-2017/ Introduction to mathematical logic]|MLOL|[https://muellersandra.github.io/ Sandra Müller]|Wed 4:30pm–6:00pm, Fri 3:00pm–4:30pm<br/>begins 2017&#8209;10&#8209;04|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250075&amp;semester=2017W 250075]|PS|2.0 (3.0)|[/~koelbingm72/TutoratWiSe17.html Introductory seminar on mathematical logic]|MLOL|Marlene Koelbing|Fri 10:45am–12:15pm<br/>begins 2017&#8209;10&#8209;06|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250122&amp;semester=2017W 250122]|VO|2.0 (7.0)|[/~vfischer/reading_course_2017.pdf Reading course in set theory]|MLOV|[/~vfischer/ Vera Fischer]|Fri 9:00am–10:30am<br/>begins 2017&#8209;10&#8209;06|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250073&amp;semester=2017W 250073]|VO|3.0 (5.0)|[/~vfischer/TCS2017.pdf Introduction to theoretical computer science]|MLOI|[/~vfischer/ Vera Fischer]|Tue 3:15pm–5:30pm<br/>begins 2017&#8209;10&#8209;03<span style="color:red"><sup>*</sup></span>|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250099&amp;semester=2017W 250099]|SE|2.0 (4.0)|[/2017/Seminar_winter.html Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>begins 2017&#8209;10&#8209;02<span style="color:red"><sup>**</sup></span>|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250098&amp;semester=2017W 250098]|SE|2.0 (4.0)|[/2017/Research_seminar_winter.html Research seminar in mathematical logic]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm<br/>begins 2017&#8209;10&#8209;05|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250121&amp;semester=2017W 250121]|VO|2.0 (4.0)|[/2017/Selected_topics_in_mathematical_logic_winter.html Selected topics in set theory]|MLOV|[/benjamin.miller/ Ben Miller]|Tue, Thu 2:00pm–3:00pm<br/>begins 2017&#8209;10&#8209;03|KGRC|English}}
{{table bottom}}
{{comment|<sup>*</sup> Update from previous information}}
<p><span style="color:red"><sup>*</sup></span> There will be no lecture on October&nbsp;10. The next lecture will take place on October&nbsp;17.</p>

<p><span style="color:red"><sup>**</sup></span> There will be no lectures on October&nbsp;9 and October&nbsp;11. The next lecture will take place on October&nbsp;16.</p>

== <a name="Modules"></a>Modules ==
'''MLOI''' - Theoretical Computer Science
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''MLOM''' - Axiomatische Mengenlehre (axiomatic set theory)
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''MLOS''' - Seminars: Mathematical Logic and Theoretical Computer Science
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt 
"Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

'''WLO''' - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)
* part of bachelor's program version 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
* part of bachelor's program version 2011 (expiring), Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"