Courses Winter Semester 2016/2017
(Diese Seite gibt es auch auf Deutsch.)
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": Währinger Straße 25, top floor, lecture room 101
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Vera Fischer | see preparatory meeting | KGRC | English | |
PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | MLOL | Diana Carolina Montoya Amaya | see preparatory meeting | KGRC | English | |
VO | 2.0 (7.0) | Reading course set theory | MLOV | Lyubomyr Zdomskyy | see preparatory meeting | KGRC | English | |
VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOV | Moritz Müller | see preparatory meeting | KGRC | English | |
SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2016‑10‑03 | KGRC | English | |
SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2016‑10‑06 | KGRC | English | |
VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Ben Miller | Tue, Thu 2:00pm–3:00pm begins 2016‑10‑04 | KGRC | English |
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 (room 101).
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)