Courses Winter Semester 2015–2016
(Diese Seite gibt es auch auf Deutsch.)
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Place "KGRC": Währinger Straße 25, top floor, lecture room 101
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250070 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Vera Fischer | Mon 8:00am–9:30am, Fri 9:00am–10:30am begins 2015-10-05 | KGRC | English |
250071 | PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | MLOL | Moritz Müller, Stefan Hoffelner | Fri 11:05am–12:35pm begins 2015-10-09 | KGRC | English |
250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 3:30pm–6:00pm begins 2015-10-06 | KGRC | English |
250075 | SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2015-10-05 | KGRC | English |
250076 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2015-10-01 | KGRC | English |
250077 | VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Benjamin Miller | Tue, Thu 2:00pm–3:00pm begins 2015-10-06 | KGRC | English |
250078 | VO | 2.0 (7.0) | Reading course set theory | MLOV | Lyubomyr Zdomskyy | Fri 3:00pm–5:20pm begins 2015-10-02 | KGRC | English |
Course details
Selected topics in set theory
Time: Tue, Thu 2:00pm–3:00pm
starts 2015-10-06
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.
Seminar (Mathematical Logic)
Time: Mon, Wed 2:00pm–3:00pm
starts 2015-10-05
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.
Research Seminar
Time: Thu 4:00pm–6:00pm
starts 2015-10-01
Place: KGRC
This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.
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)