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:
HS2: Oskar-Morgenstern-Platz 1, ground level, lecture hall 2
KGRC: Währinger Straße 25, top floor, lecture room 101
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
|---|---|---|---|---|---|---|---|---|
| 250077 | VO | 2.0 (3.0) | Basic concepts of mathematical logic | MLO | Moritz Müller | Wed 9:45am–11:15am starts 2015-03-11 |
HS2 | German |
| 250078 | PS | 1.0 (2.0) | Tutorials "Introduction to mathematical logic" | MLO | Lyubomyr Zdomskyy | Wed 9:45am-12:15pm starts 2015-03-4 |
HS2 | German |
| 250125 | VO | 3.0 (5.0) | Axiomatic set theory1 | MLOM | Lyubomyr Zdomskyy | Mon 10:00am–12.20pm starts 2015-03-9 |
KGRC | English |
| 250126 | PS | 2.0 (3.0) | Introductory seminar: "Axiomatic set theory1" | Anda-Ramona Tanasie | Wed 9:45am–11:15am starts 2015-03-11 |
KGRC | English | |
| 250127 | SE | 2.0 (4.0) | Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2015-03-10 |
KGRC | English |
| 250128 | PJ+SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2015-03-01 |
KGRC | English |
| 250130 | VO | 2.0 (4.0) | Selected Topics in Mathematical logic | MLOS | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2015-03-02 |
KGRC | English |
| 250131 | VO | 2.0 (3.0) | Computability and Complexity | MLOV | Moritz Müller | Tue 16:00pm-17:30pm starts 2015-03-05 |
HS2 | 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).