Courses Winter Semester 2015/2016
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Location: KGRC, Währinger Straße 25, top floor, lecture room 101
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250070 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Vera Fischer | Mon 8:00am–9:30am, Fri 9:00am–10:30am starts 2015‑10‑05 |
KGRC | English |
| 250071 | PS | 2.0 (3.0) | Introductory seminar on mathematical logic | MLOL | Moritz Müller, Stefan Hoffelner | Fri 11:05am-12:35 pm >starts 2015‑10‑09 | KGRC | English |
| 250074 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 3:30pm–6.00pm starts 2016‑10‑06 |
KGRC | English |
| 250075 | SE | 2.0 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2016‑10‑03 |
KGRC | English |
| 250076 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2016‑10‑01 |
KGRC | English |
| 250077 | VO | 2.0 (4.0) | Selected topics in set theory | MLOV | Ben Miller | Tue, Thu 2:00pm–3:00pm starts 2016‑10‑06 |
KGRC | English |
| 250078 | VO | 2.0 (7.0) | Reading course in mathematical logic | MLOV | Lyubomyr Zdomskyy | Fri 3:00pm–5:20pm starts 2015‑10‑2 |
KGRC | English |
Modules
MLOL - Mathematische Logik (mathematical logic)
MLOM - Axiomatische Mengenlehre (axiomatic set theory)
MLOI - Theoretische Informatik (theoretical computer science)
MLOS - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)
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)