Courses Summer Semester 2019
(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.
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 | Fri 11:30am–2:30pm begins 2019‑03‑01 | Währinger Straße | English |
250102 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Benjamin Miller | Thu 4:00pm–6:00pm begins 2019‑03‑07 | Währinger Straße | English |
250103 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Benjamin Miller | Mon 2:00pm–3:00pm, Thu 2:00pm–3:00pm begins 2019‑03‑04 | Währinger Straße | English |
250104 | VO | 2.0 (4.0) | Advanced topics in mathematical logic | MLOV | Daniel Soukup | Tue 1:00pm–2:00pm, Wed 1:00pm–2:00pm begins 2019‑03‑05 | Währinger Straße | English |
250168 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Sandra Müller | Thu 12:15pm–1:45pm, Fri 9:30am–11:00am begins 2019‑03‑01 | Währinger Straße | English |
250170 | PS | 2.0 (3.0) | Introductory seminar on mathematical logic | MLOL | Monroe Eskew | Tue 4:00pm–5:30pm begins 2019‑03‑05 | Währinger Straße | English |
250179 | PS | 2.0 (3.0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Vera Fischer | Thu 9:45am–11:45am begins 2019‑03‑07 | Währinger Straße | English |
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