Courses Summer Semester 2018
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Sandra Müller | Thu 11:30am–1:45pm starts 2018‑03‑08 |
KGRC | English |
| 250101 | PS | 2.0 (3.0) | Proseminar Axiomatic set theory 1*, ** | MLOM | Vera Fischer, Sandra Müller | Fri 1:00pm–2:30pm starts 2018‑03‑09 |
KGRC | English |
| 250103 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2018‑03‑05 |
KGRC | English |
| 250104 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Lyubomyr Zdomskyy | Tue, Thu 2:00pm–3:00pm starts 2018‑03‑06 |
KGRC | English |
| 250102 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2018‑03‑08 |
KGRC | English |
| 250137 | VO | 2.0 (3.0) | Model Theory | MLOV | Vera Fischer | Fri 3:00pm–4:30pm starts2018‑03‑09 |
KGRC | English |
Modules & information
Master Mathematics (821 -version 2016 [2])
MLOM (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 modules logic
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 "KGRC": Währinger Straße 25, top floor, lecture room 101