Courses Winter Semester 2019/2020

(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 "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 13

Place "KGRC": Augasse 2-6, 1090 Wien, 5th floor, lecture room C5.48

Bachelor's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250061VO3.0 (5.0)Basic concepts of mathematical logicWLOSandra MüllerFri 8:00am–10:15am
begins 2019‑10‑04
HS13German
250067UE1.0 (2.0)Tutorials "Introduction to basic concepts of mathematical logic", group 1WLOSandra MüllerFri 10:30am–11:15am
begins 2019‑10‑04
HS13German
250067UE1.0 (2.0)Tutorials "Introduction to basic concepts of mathematical logic", group 2WLOMarlene KoelbingTue 8:45am–9:30am
begins 2019‑10‑01
HS13German

Master's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250074VO3.0 (5.0)Introduction to theoretical computer scienceMLOIVera FischerThu 9:00am–12:00pm
begins 2019‑10‑03
KGRCEnglish
250099SE2.0 (4.0)Seminar in mathematical logicMLOSBenjamin MillerMon, Wed 2:00pm–3:00pm
begins 2019‑10‑02
KGRCEnglish
250116VO2.0 (3.0)Axiomatic Set Theory 2MLOVMonroe EskewMon, Wed 12:30pm–1:30pm
begins 2019‑10‑02
KGRCEnglish
250121VO2.0 (4.0)Advanced topics in mathematical logicMLOVBenjamin MillerTue, Thu 2:00pm–3:00pm
begins 2019‑10‑01
KGRCEnglish
442505SE2.0 (4.0)Research Seminar in mathematical logicMLOVBenjamin MillerThu 4:00pm–6:00pm
begins 2019‑10‑03
KGRCEnglish

Modules

MLOI - Theoretical Computer Science

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: 2019-08-20, 08:41.