{{menu|Teaching|Courses Winter Semester 2016/2017}}
{{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.
'''Note:''' Information on this page is tentative and subject to change without notice!
'''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&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101
{{comment|'''Place "HS11":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], 2nd floor, lecture hall 11
'''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 top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}
{{table row| |VO|4.0 (6.0)|Introduction to mathematical logic|MLOL|[/~vfischer/ Vera Fischer]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row| |PS|2.0 (3.0)|Introductory seminar: "Introduction to mathematical logic"|MLOL|[/~montoyd8/ Diana Carolina Montoya Amaya]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row| |VO|2.0 (7.0)|Reading course set theory|MLOV|[/~lzdomsky/ Lyubomyr Zdomskyy]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row| |VO|3.0 (5.0)|Introduction to theoretical computer science|MLOV|[/~muellem3/ Moritz Müller]|see [#prep_meeting preparatory meeting]|KGRC|English}}
{{table row| |SE|2.0 (4.0)|[/2016/Seminar_winter.html Seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
begins 2016‑10‑03|KGRC|English}}
{{table row| |SE|2.0 (4.0)|[/2016/Research_seminar_winter.html Research Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
begins 2016‑10‑06|KGRC|English}}
{{table row| |VO|2.0 (4.0)|[/2016/Selected_topics_in_mathematical_logic_winter.html Selected topics in set theory]|MLOV|[/benjamin.miller/ Ben Miller]|Tue, Thu 2:00pm–3:00pm
begins 2016‑10‑04|KGRC|English}}
{{table bottom}}
== Preparatory meeting ==
The times and begin dates for VO Introduction to mathematical logic, PS Introductory seminar: "Introduction to mathematical logic", VO Reading course set theory, and VO Introduction to theoretical computer science will be fixed in a preparatory meeting
on 2016-10-03, 12:00pm at the KGRC lecture room ([[floor plan|room 101]]).
{{comment|* Update from previous information}}
== 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)