Courses Winter Semester 2017/2018

(Diese Seite gibt es auch auf Deutsch.)

Note: To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester!

Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Note: Information on this page is tentative and subject to change without notice!

Place "KGRC": Währinger Straße 25, top floor, lecture room 101

Master's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250074VO4.0 (6.0)Introduction to mathematical logicMLOLSandra Uhlenbrocksee preparatory meetingKGRCEnglish
250075PS2.0 (3.0)Introductory seminar on mathematical logicMLOLMarlene Koelbingsee preparatory meetingKGRCEnglish
250122VO2.0 (7.0)Reading course in set theoryMLOVVera Fischersee preparatory meetingKGRCEnglish
250073VO3.0 (5.0)Introduction to theoretical computer scienceMLOIVera Fischersee preparatory meetingKGRCEnglish
250099SE2.0 (4.0)Seminar (Mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2017‑10‑02
250098SE2.0 (4.0)Research seminar in mathematical logicMLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2017‑10‑05
250121VO2.0 (4.0)Selected topics in set theoryMLOVBen MillerTue, Thu 2:00pm–3:00pm
begins 2017‑10‑03

Preparatory meeting

The times and begin dates for VO Introduction to mathematical logic, PS Introductory seminar on mathematical logic, VO Reading course in set theory, and VO Introduction to theoretical computer science will be fixed in the preparatory meeting on 2017-10-02, 12:00pm in the KGRC lecture room (room 101).


MLOI - Theoretical Computer Science

MLOM - Axiomatische Mengenlehre (axiomatic set theory)

MLOS - Seminars: Mathematical Logic and Theoretical 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)

WLO - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)

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: 2017-07-07, 18:54.