Courses Summer Semester 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.
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
Place "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 11
Place "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, ground floor, lecture hall 2
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250085 | VO | 2.0 (3.0) | Basic concepts of mathematical logic | MLO | Moritz Müller | Mon 9:45am–11:15am begins 2016‑03‑07 | HS11 | German |
250086 | UE | 1.0 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLO | Vera Fischer | Mon 11:30am–12:15pm begins 2016‑03‑07 | HS2 | German |
250087 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | see preparatory meeting | KGRC | English |
250088 | PS | 2.0 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Marlene Koelbing | see preparatory meeting | KGRC | English |
250089 | PJ+SE | 2.0 (4.0) | Project seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2016‑03‑02 | KGRC | English |
250090 | VO | 2.0 (4.0) | Selected topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm begins 2016‑03‑01 | KGRC | English |
250091 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOV | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2016‑03‑03 | KGRC | English |
250092 | VO | 2.0 (3.0) | Model theory | MLOV | Moritz Müller | see preparatory meeting | KGRC | English |
Preparatory meeting
The times and begin dates for VO Axiomatic set theory 1, PS Introductory seminar: "Axiomatic set theory 1", and VO Model theory will be fixed in a preparatory meeting on 2016-03-01, 12:00pm at the KGRC in the lecture room 101.
Course details
Selected topics in mathematical logic
Time: Tue, Thu 2:00pm–3:00pm
starts 2016‑03‑01
Place: KGRC
Subject matters will be announced later.
Project seminar (mathematical logic)
Time: Mon, Wed 2:00pm–3:00pm
starts 2016‑03‑02
Place: KGRC
In this project 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 2016‑03‑03
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)