{{menu|Teaching|Courses Winter Semester 2015–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>

{{DE|Winter-LVA}}

'''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

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250070&amp;semester=2015W 250070]|VO|4.0 (6.0)|[http://www.logic.univie.ac.at/~vfischer/MathLogicWS2015.pdf Introduction to mathematical logic]|MLOL|[/~vfischer/ Vera Fischer]|Mon 8:00am–9:30am, Fri 9:00am–10:30am<br/>begins 2015&#8209;10&#8209;05|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250071&amp;semester=2015W 250071]|PS|2.0 (3.0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Introductory seminar: "Introduction to mathematical logic"]|MLOL|[/~muellem3/ Moritz Müller], Stefan Hoffelner|Fri 11:05am–12:35pm<br/>begins 2015&#8209;10&#8209;09|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250074&amp;semester=2015W 250074]|VO|3.0 (5.0)|[/~muellem3/teaching.html Introduction to theoretical computer science]|MLOI|[/~muellem3/ Moritz Müller]|Tue 3:30pm–6:00pm<br/>begins 2015&#8209;10&#8209;06|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250075&amp;semester=2015W 250075]|SE|2.0 (4.0)|[#Seminar_Mathematische Seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>begins 2015&#8209;10&#8209;05|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250076&amp;semester=2015W 250076]|SE|2.0 (4.0)|[#Forschungsseminar Research Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm<br/>begins 2015&#8209;10&#8209;01|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250077&amp;semester=2015W 250077]|VO|2.0 (4.0)|[#AK Selected topics in set theory]|MLOV|[/benjamin.miller/ Benjamin Miller]|Tue, Thu 2:00pm–3:00pm<br/>begins 2015&#8209;10&#8209;06|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250078&amp;semester=2015W 250078]|VO|2.0 (7.0)|[/~lzdomsky/set_theory_2_ws2015_16.pdf Reading course set theory]|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|Fri 3:00pm–5:20pm<br/>begins 2015&#8209;10&#8209;02|KGRC|English}}
{{table bottom}}

== Course details ==

=== <a name="AK"></a>Selected topics in set theory ===

Time: Tue, Thu 2:00pm–3:00pm<br/>
starts 2015&#8209;10&#8209;06<br/>
Place: KGRC

This seminar will serve as an introduction to the descriptive set theory of Borel subsets of Polish spaces. The only
prerequisite is a rudimentary knowledge of ordinals and point-set topology. The first half of the course will be devoted
to classical results, whereas the second will concern the graph-theoretic route toward establishing the many dichotomy
theorems of the subject, including Silver's perfect set theorem and the Glimm-Effros characterization of smoothness.
Several open questions will also be presented.

=== <a name="Seminar_Mathematische"></a>Seminar (Mathematical Logic) ===

Time: Mon, Wed 2:00pm–3:00pm<br/>
starts 2015&#8209;10&#8209;05<br/>
Place: KGRC

In this Seminar, students give talks about advanced topics in mathematical
Logic. This seminar is intended mainly for students writing their diploma, master or PhD
thesis at the KGRC.

=== <a name="Forschungsseminar"></a>Research Seminar ===

Time: Thu 4:00pm–6:00pm<br/>
starts 2015&#8209;10&#8209;01<br/>
Place: KGRC

This is an advanced seminar in mathematical logic for doctoral and postdoctoral
researchers.

== <a name="Modules"></a>Modules ==
'''MLOL''' - Mathematische Logik (mathematical logic)

'''MLOM''' - Axiomatische Mengenlehre (axiomatic set theory)

'''MLOI''' - Theoretische Informatik (theoretical computer science)

'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

'''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)