Courses Winter Semester 2018/2019
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 | Thu 2:15pm–3:00pm, Fri 4:45pm–6:15pm starts 2018‑10‑04 |
HS11 | German |
| 250067 | UE | 1.0 (2.0) | Tutorials "Introduction to basic concepts of mathematical logic", group 1 | WLO | Sandra Müller | Fri 3:50pm–4:35pm1 starts 2018‑10‑12 |
HS11 | German |
| 250067 | UE | 1.0 (2.0) | Tutorials "Introduction to basic concepts of mathematical logic", group 2 | WLO | Marlene Koelbing | Thu 1:15pm–2:00pm starts 2018‑10‑04 |
HS11 | German |
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250099 | VO | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Benjamin Miller | Mon, Wed 2:00pm–3:00pm starts 2018‑10‑01 |
KGRC | English |
| 250121 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Benjamin Miller | Tue, Thu 2:00pm–3:00pm starts 2018‑10‑02 |
KGRC | English |
| 250098 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Benjamin Miller | Thu 4:00pm–6:00pm starts 2018‑10‑04 |
KGRC | English |
| 250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Vera Fischer | Fri 4:00pm–6:20pm starts 2018‑10‑12 |
KGRC | English |
Modules & information
- Bachelor Mathematics (621 [3] version 2014) - new
WLO Wahlmodul: "Mathematische Logik" (elective module: mathematical logic) and
Bachelor Mathematics (621 [2] version 2011 (expiring, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung")
- Master Mathematics (821 -version 2016 [2])
MLOI (VO), MLOS (SE) 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 cmodules logi
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