Courses Winter Semester 2013–2014
(Diese Seite gibt es auch auf Deutsch.)
Place: All courses 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.
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
---|---|---|---|---|---|---|---|
250102 | VO | 3 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Fri 4:00pm–6:30pm starts 2013-10-04 | German; English possible by agreement |
250103 | VO | 4 (6.0) | Introduction to mathematical logic | MLOL | Jakob Kellner | see here | German |
250104 | PS | 2 (3.0) | Introductory seminar: "Introduction to mathematical logic" | MLOL | Stefan Hoffelner Moritz Müller | Fri 2:00pm–3:30pm starts 2013-10-11 | German |
250105 | SE | 2 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2013-10-07 | English |
250106 | VO | 2 (4.0) | Selected topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2013-10-08 | English |
250107 | SE | 2 (4.0) | Research seminar in mathematical logic | MLOV | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2013-10-10 | English |
250108 | VO | 2 (7.0) | Set theory (reading course) | MLOV | Yurii Khomskii | Wed 3:00pm–5:00pm starts 2013-10-09 | English |
Course details
Selected Topics in Mathematical Logic
Time: Tuesdays, Thursdays 2:00pm–3:00pm
starts 2013-10-08
Models and Games
We will follow Väänänen's recent book of the above title with a focus on how to characterise elementary equivalence logics extending first-order logic.
Seminar (Mathematical Logic)
Time: Mondays, Wednesdays 2:00pm–3:00pm
starts 2013-10-07
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: Thursdays 4:00pm–6:00pm
starts 2013-10-10
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)