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

NumberTypeHours (ECTS)TitleModuleLecturerTimeLanguage
250077VO3.0 (5.0)Introduction to theoretical computer scienceMLOIMoritz Müllersee preparatory meeting 
250084VO2.0 (7.0)Set theory (reading course)MLOVBarnabas Farkassee preparatory meeting 
250078VO4.0 (6.0)Introduction to mathematical logicMLOLLyubomyr Zdomskyysee preparatory meeting 
250079PS2.0 (3.0)Introductory seminar: "Introduction to mathematical logic" Moritz Müller,
Stefan Hoffelner
see preparatory meeting 
250081SE2.0 (4.0)Seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2014-10-06
250082VO2.0 (4.0)Selected topics in mathematical logicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
begins 2014-10-07
250080SE2.0 (4.0)Research Seminar (Mathematical logic)MLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2014-10-09
250083VO2.0 (4.0)Model theory of arithmeticMLOVTin Lok Wongsee preparatory meetingEnglish

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.


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: 2014-09-16, 23:08.