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
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250061 | VO | 3.0 (5.0) | Basic concepts of mathematical logic | WLO | Sandra Müller | Fri 8:00am–10:15am begins 2019‑10‑04 | HS13 | German |
250067 | UE | 1.0 (2.0) | Tutorials "Introduction to basic concepts of mathematical logic", group 1 | WLO | Sandra Müller | Fri 10:30am–11:15am begins 2019‑10‑04 | HS13 | German |
250067 | UE | 1.0 (2.0) | Tutorials "Introduction to basic concepts of mathematical logic", group 2 | WLO | Marlene Koelbing | Tue 8:45am–9:30am begins 2019‑10‑01 | HS13 | German |
Master's program
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Vera Fischer | Thu 9:00am–12:00pm begins 2019‑10‑03 | KGRC | English |
250099 | SE | 2.0 (4.0) | Seminar in mathematical logic | MLOS | Benjamin Miller | Mon, Wed 2:00pm–3:00pm begins 2019‑10‑02 | KGRC | English |
250116 | VO | 2.0 (3.0) | Axiomatic Set Theory 2 | MLOV | Monroe Eskew | Mon, Wed 12:30pm–1:30pm begins 2019‑10‑02 | KGRC | English |
250121 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Benjamin Miller | Tue, Thu 2:00pm–3:00pm begins 2019‑10‑01 | KGRC | English |
442505 | SE | 2.0 (4.0) | Research Seminar in mathematical logic | MLOV | Benjamin Miller | Thu 4:00pm–6:00pm begins 2019‑10‑03 | KGRC | English |
Modules
MLOI - Theoretical Computer Science
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOS - Seminars: Mathematical Logic and Theoretical Computer Science
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
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)
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
WLO - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)
- part of bachelor's program version 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"