Courses Summer Semester 2012
(Diese Seite gibt es auch auf Deutsch.)
Place: All courses other than Basic concepts of mathematical logic VO and UE and Model theory will be given in the KGRC lecture room (room 101).
- Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Information on this page is tentative and subject to change!
See also the course catalogue of the University of Vienna for the 3 mathematics programmes:
Bachelor • Diploma • Master.
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
---|---|---|---|---|---|---|---|
250081 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLO | Hans Adler | Tuesday 16:15-17:45 (Hörsaal 2, UZA 2) | German |
250082 | UE | 1 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLO | Moritz Müller | Monday 17:00-18:00 (Hörsaal 3, UZA2) | German |
250089 | VO | 2 (3.0) | Model theory | MLOV | Hans Adler | Monday 11:15-12:45 (2A180, UZA2) | German (English on demand) |
250083 | VO | 3 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tuesday 15:15-17:45 | English |
250084 | VO | 3 (5.0) | Axiomatic set theory 1 | MLOM | Lyubomyr Zdomskyy | Tuesday 12:20-13:50 Wednesday 13:00-13:45 | English |
250085 | PS | 2 (3.0)) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Stefan Hoffelner | Friday 8:15-9:45 | |
250087 | VO | 2 (3.0) | Selected Topics in Set Theory | MLOV | Sy-David Friedman | Tue, Thu 14:00-15:00 starts 2012-03-01 | English |
250086 | PJ+SE | 2 (4.0) | Project seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 14:00-15:00 starts 2012-03-05 | |
250088 | PJ+SE | 2 (4.0) | Research Seminar | MLOV | Sy-David Friedman | Thu 16:00-17:30 starts 2012-03-01 |
Course details
Selected Topics in Set Theory
Time: Tuesday, Thursday 14:00-15:00
starts 2012-03-01
This course will serve as an introduction to Woodin's theory of $P_{max}$, as presented in Paul Larson's article in the Handbook of Set Theory.
Project seminar (Mathematical logic)
Time: Monday, Wednesday 14:00-15:00
starts 2012-03-05
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: Thursday 16:00-17:30
starts 2012-03-01
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 theoretical 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)