Courses Winter Semester 2018/2019

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

Place "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 11

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

Bachelor's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250061VO3.0 (5.0)Basic concepts of mathematical logicWLOSandra MüllerThu 2:15pm–3:00pm, Fri 4:45pm–6:15pm
begins 2018‑10‑04
HS11German
250067UE1.0 (2.0)Tutorials "Introduction to basic concepts of mathematical logic", group 1WLOSandra MüllerFri 3:50pm–4:35pm1
begins 2018‑10‑12
HS11German
250067UE1.0 (2.0)Tutorials "Introduction to basic concepts of mathematical logic", group 2WLOMarlene KoelbingThu 1:15pm–2:00pm
begins 2018‑10‑04
HS11German
1u:find may say 3:00pm to 4:30pm. This piece of information would be incorrect.


Master's program

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250099SE2.0 (4.0)Seminar (Mathematical logic)MLOSBenjamin MillerMon, Wed 2:00pm–3:00pm
begins 2018‑10‑01
KGRCEnglish
250121VO2.0 (4.0)Advanced topics in mathematical logicMLOVBenjamin MillerTue, Thu 2:00pm–3:00pm
begins 2018‑10‑02
KGRCEnglish
250098SE2.0 (4.0)Research seminar in mathematical logicMLOSBenjamin MillerThu 4:00pm–6:00pm
begins 2018‑10‑04
KGRCEnglish
250074VO3.0 (5.0)Introduction to theoretical computer scienceMLOIVera FischerFri 4:00pm–6:20pm
begins 2018‑10‑12
KGRCEnglish

Modules

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: 2018-10-10, 17:19.