# 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)