Courses Summer Semester 2018
(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 "KGRC": Währinger Straße 25, top floor, lecture room 101
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 begins 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 begins 2018‑03‑09 | KGRC | English |
250103 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 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 begins 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 begins 2018‑03‑08 | KGRC | English |
250137 | VO | 2.0 (3.0) | Model Theory | MLOV | Vera Fischer | Fri 3:00pm–4:30pm begins 2018‑03‑09 | KGRC | English |
* Contrary to information in u:find, the time for the lecture on March 16 will remain at the usual 1:00pm to 2:30pm, however on March 16 it will be held at another address: Oskar Morgenstern Platz 1, second floor, seminar room 11.
** The lecture on Friday 2018-05-04 will be held at seminar room 13, Oskar-Morgenstern-Platz 1, 2nd floor.
Modules
MLOM - Axiomatische Mengenlehre (axiomatic set theory)
- 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