Courses Winter Semester 2010/2011
Note: All lectures at the KGRC (apart from Grundbegriffe der Mathematischen Logik VO + UE) are given in English, or at least can be given in English if requested.
Location: Semiar room 101, Währinger Straße 25, 1090
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
| 250123 | VO | 4.0 (6.0) | Einführung in die Mathematische Logik | MLOL | Hans Adler | KGRC | German | |
| 250124 | UE | 2.0 (3.0) | Proseminar zur Einführung in die Mathematische Logik | MLOL | Jakob Kellner | Fri 11:00am – 12:30am starts 2010‑10‑28 |
KGRC | German |
| 250125 | VO | 2.0 (3.0) | Axiomatic set theory 2 | MLOM | Jakob Kellner | KGRC | English | |
| 250126 | VO | 2.0 (4.0) | Selected Topics in Mathematical Logic | MLOV | Sy-David Friedman | Tue, Thu 02:00pm – 3.00pm starts 2010‑10‑121 |
KGRC | English |
| 250127 | SE | 2.0 (4.0) | Introductory seminar on Axiomatic set theory 2 | MLOS | Sy-David Friedman | Mon, Wed 2:00pm - 3:00pm starts 2010‑10‑11 |
KGRC | English |
| 250128 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm – 5:30pm starts 2010‑10‑14 |
KGRC | English |
Modules
MLOL - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOS - Seminare: Mathematische Logik und theoretische Informatik
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"