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

See also the course catalogue of the University of Vienna for the 3 mathematics programmes:

NumberTypeHours (ECTS)TitleModuleLecturerTimeLanguage
250079VO4 (6.0)Introduction to mathematical logicMLOLHans AdlerWed, Fri 3:30pm–5:00pm
starts 2012-10-05
250080PS2 (3.0)Introductory Seminar: "Introduction to mathematical logic"MLOLJakob KellnerFri 10:00am–11:30am
starts 2012-10-12
250118VO2 (7.0)Set theory (reading course)MLOVJakob Kellnersee homepageGerman
250127VO2 (3.0)Forcing with random variablesMLOVMoritz MüllerWed 10:45am–12:15pm
starts 2012-10-10
250117VO2 (4.0)Selected Topics in Mathematical LogicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
starts 2012-10-02
250116SE2 (4.0)Seminar (Mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
starts 2012-10-01
250115SE2 (4.0)Research SeminarMLOSSy-David FriedmanThu 4:00pm–6:00pm
starts 2012-10-04

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.


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: 2012-12-10, 22:52.