# Courses Winter Semester 2012–2013

(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.

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

250079 | VO | 4 (6.0) | Introduction to mathematical logic | MLOL | Hans Adler | Wed, Fri 3:30pm–5:00pm starts 2012-10-05 | German |

250080 | PS | 2 (3.0) | Introductory Seminar: "Introduction to mathematical logic" | MLOL | Jakob Kellner | Fri 10:00am–11:30am starts 2012-10-12 | German |

250118 | VO | 2 (7.0) | Set theory (reading course) | MLOV | Jakob Kellner | see homepage | German |

250127 | VO | 2 (3.0) | Forcing with random variables | MLOV | Moritz Müller | Wed 10:45am–12:15pm starts 2012-10-10 | English |

250117 | VO | 2 (4.0) | Selected Topics in Mathematical Logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2012-10-02 | English |

250116 | SE | 2 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2012-10-01 | English |

250115 | SE | 2 (4.0) | Research Seminar | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2012-10-04 | English |

## Course details

### Selected Topics in Mathematical Logic

Time: Tuesdays, Thursdays 2:00pm–3:00pm

starts 2012-10-02

This course will address various themes in logic, with an emphasis in topics that make connections between the four principal areas of the field: set theory, proof theory, computation theory and model theory.

### Seminar (Mathematical Logic)

Time: Mondays, Wednesdays 2:00–3:00pm

starts 2012-10-01

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 2012-10-04

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)