Courses Winter Semester 2014–2015
(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.
- Note: Information presented here is preliminary and subject to change without notice!
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
---|---|---|---|---|---|---|---|
250077 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | see preparatory meeting | |
250084 | VO | 2.0 (7.0) | Set theory (reading course) | MLOV | Barnabas Farkas | see preparatory meeting | |
250078 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Lyubomyr Zdomskyy | see preparatory meeting | |
250079 | PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | Moritz Müller, Stefan Hoffelner | see preparatory meeting | ||
250081 | SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2014-10-06 | English |
250082 | VO | 2.0 (4.0) | Selected topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm begins 2014-10-07 | English |
250080 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2014-10-09 | English |
250083 | VO | 2.0 (4.0) | Model theory of arithmetic | MLOV | Tin Lok Wong | see preparatory meeting | English |
Preparatory meeting
The times and begin dates for VO Introduction to theoretical computer science, VO Set theory (reading course), VO Introduction to mathematical logic, PS Introductory seminar: "Introduction to mathematical logic", and VO Model theory of arithmetic will be fixed in a preparatory meeting on 2014-10-03, 2:00pm in the KGRC lecture room (room 101).
Course details
Selected Topics in Mathematical Logic
Time: Tue, Thu 2:00pm–3:00pm
starts 2014-10-07
Subject matters to be announced.
Seminar (Mathematical Logic)
Time: Mon, Wed 2:00pm–3:00pm
starts 2014-10-06
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 2014-10-09
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)