Courses Summer Semester 2017
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
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250015 | VO | 3.0 (5.0) | Basic concepts of mathematical logic | WLO | Sandra Uhlenbrock | Tue 4:45pm–6:15pm, Thu 9:45am–10:30am starts 2017‑03‑02 |
HS11 | German |
| 250016 | UE | 1.0 (2.0) | Tutorials "Introduction to basics concepts of mathematical logic" | WLO | Vera Fischer | Thu 10:45am–11:30am starts 2017‑03‑02 |
HS11 | German |
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Wed 11:30am–1:50pm starts 2017‑03‑08 |
KGRC | English |
| 250101 | PS | 2.0 (3.0) | Proseminar to Axiomatic set theory 1 | MLOM | Marlene Koelbing | Thu 9:30am–11:00am starts 2017‑03‑09 |
KGRC | English |
| 250103 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2017‑03‑06 |
KGRC | English |
| 250104 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2017‑03‑02 |
KGRC | English |
| 250102 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2017‑03‑02 |
KGRC | English |
Modules
- 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])
MLOM - Axiomatische Mengenlehre (axiomatic set theory)
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
MLOS - Seminars: Mathematical Logic and Theoretical Computer Science
part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic