Courses Summer Semester 2014
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Location:
HS13: lecture hall 13, SR12: seminar room 12, Oskar-Morgenstern-Platz 1, 1090 Wien
KGRC: lecture room at the Kurt Gödel Research Center, room O2.101, Währinger Straße 25, 1090 Wien
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Location | Language |
|---|---|---|---|---|---|---|---|---|
| 250080 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLO | Moritz Müller | Wed 3:00pm–5:00pm starts 2014-03-05 |
HS13 | German |
| 250081 | UE | 1 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLO | Ekaterina Fokina | Thu 1:00pm–2:00pm starts: 2014-03-06 |
SR12 | German |
| 250082 | VO | 3 (5.0) | Axiomatic set theory 1 | MLOM | Jakob Kellner | Fri 9:30am–12:00pm starts 2014-03-07 |
KGRC | German; English possible by agreement |
| 250083 | PS | 2 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Lyubomyr Zdomskyy | Wed 8:30am–10:05am starts 2014-03-19 |
KGRC | German; English possible by agreement |
| 250087 | VO | 2 (3.0) | Computability and complexity | MLOI | Moritz Müller | Mon 4:30pm–6:00pm starts 2014-03-10 |
KGRC | English possible by agreement |
| 250088 | VO | 2 (3.0) | Model theory | MLOV | Martin Koerwien | Tue 3:45pm–5:15pm starts 2014-03-04 |
KGRC | English possible by agreement |
| 250086 | VO | 2 (4.0) | Selected topics in set theory | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2014-03-04 |
KGRC | English |
| 250085 | PJ+SE | 2 (4.0) | Project seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2014-03-03 |
KGRC | English |
| 250084 | SE | 2 (4.0) | Research seminar (mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2014-03-06 |
KGRC | English |
Modules
MLO - 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)