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

NumberTypeHours (ECTS)TitleModuleLecturerTimeLanguage
250102VO3 (5.0)Introduction to theoretical computer scienceMLOIMoritz MüllerFri 4:00pm–6:30pm
starts 2013-10-04
German; English possible by agreement
250103VO4 (6.0)Introduction to mathematical logicMLOLJakob Kellnersee hereGerman
250104PS2 (3.0)Introductory seminar: "Introduction to mathematical logic"MLOLStefan Hoffelner
Moritz Müller
Fri 2:00pm–3:30pm
starts 2013-10-11
250105SE2 (4.0)Seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
starts 2013-10-07
250106VO2 (4.0)Selected topics in mathematical logicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
starts 2013-10-08
250107SE2 (4.0)Research seminar in mathematical logicMLOVSy-David FriedmanThu 4:00pm–6:00pm
starts 2013-10-10
250108VO2 (7.0)Set theory (reading course)MLOVYurii KhomskiiWed 3:00pm–5:00pm
starts 2013-10-09

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.


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)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2013-10-02, 07:33.