Courses Summer Semester 2016
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.
Location:
KGRC: Währinger Straße 25, top floor, lecture room 101
HS11: 2nd floor, lecture hall 11, HS2: ground floor, lecture hall 2, Oskar-Morgenstern-Platz 1, 1090 Wien,
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250085 | VO | 2.0 (3.0) | Basic concepts of mathematical logic | MLO | Moritz Müller | Mon 9:45am–11:15am begins 2016‑03‑07 |
HS11 | German |
| 250086 | UE | 1.0 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLO | Vera Fischer | Mon 11:30am–12:15pm begins 2016‑03‑07 |
HS2 | German |
| 250087 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Mon 8:30am–11:00am begins 2016‑03‑07 |
KGRC | English |
| 250088 | PS | 2.0 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Marlene Koelbing | Fri 9:00am–10:30am begins 2016‑03‑04 |
KGRC | English |
| 250089 | PJ+SE | 2.0 (4.0) | Project seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm begins 2016‑03‑02 |
KGRC | English |
| 250090 | VO | 2.0 (4.0) | Selected topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm begins 2016‑03‑01 |
KGRC | English |
| 250091 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOV | Sy-David Friedman | Thu 4:00pm–6:00pm begins 2016‑03‑03 |
KGRC | English |
| 250092 | VO | 2.0 (3.0) | Model theory | MLOV | Moritz Müller | Tue 5:30pm–7:00pm begins 2016‑03‑08 |
KGRC | English |
Modules
Master Mathematics (821 - version 2016 [2])
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)