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