{{menu|Teaching|Lehrveranstaltungen Wintersemester 2017/2018}}
Beginn: 2017‑10‑04|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250075&semester=2017W 250075]|PS|2,0 (3,0)|[/~koelbingm72/TutoratWiSe17.html Introductory seminar on mathematical logic]|MLOL|Marlene Koelbing|Fr 10:45-12:15pm
Beginn: 2017‑10‑06|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250122&semester=2017W 250122]|VO|2,0 (7,0)|[/~vfischer/reading_course_2017.pdf Reading course in set theory]|MLOV|[/~vfischer/ Vera Fischer]|Fr 9:00-10:30
Beginn: 2017‑10‑06|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250073&semester=2017W 250073]|VO|3,0 (5,0)|[/~vfischer/TCS2017.pdf Introduction to theoretical computer science]|MLOI|[/~vfischer/ Vera Fischer]|Di 15:15-17:30
Beginn: 2017‑10‑03*|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250099&semester=2017W 250099]|SE|2,0 (4,0)|[/2017/Seminar_winter.html Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00–15:00
Beginn: 2017‑10‑02**|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250098&semester=2017W 250098]|SE|2,0 (4,0)|[/2017/Research_seminar_winter.html Research seminar in mathematical logic]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00–18:00
Beginn: 2017‑10‑05|KGRC|Englisch}}
{{table row|[https://ufind.univie.ac.at/de/course.html?lv=250121&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]|Di, Do 14:00–15:00
Beginn: 2017‑10‑03|KGRC|Englisch}}
{{table bottom}}
{{comment|* Änderung zu früherer Information}}
* Die Einheit am 10. Oktober entfällt. Die nächste Einheit findet am 17. Oktober statt.
** Die Einheiten am 9. Oktober und am 11. Oktober entfallen. Die nächste Einheit findet am 16. Oktober statt.
== Module == '''MLOI''' - Theoretical Computer Science * Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic '''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 '''WLO''' - Wahlmodul: „Mathematische Logik“ * Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach" * Teil des Bachelorstudienplans 2011, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"