Courses Summer Semester 2013
Note: Information on this page is tentative and subject to change without notice!
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Location: All courses apart from "Basic concepts" VO+UE will be given in the KGRC lecture room 101. The "Introduction" VO will be given at UZA 2, lecture room 3. The "Introduction" UE will be given at UZA 2, lecture room 1.
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
|---|---|---|---|---|---|---|---|
| 250064 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLOL | Hans Adler | Tue 1:15pm–2:45pm starts 2013-03-05 |
German |
| 250065 | UE | 1 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLOL | Jakob Kellner | Thu 12:05–12:50pm starts 2013-03-07 |
German |
| 250075 | VO | 3 (5.0) | Axiomatic set theory 1 | MLOM | Jakob Kellner | Fri 8:30am-11am starts 2013-03-08 |
German; English possible by agreement |
| 250076 | PS | 2 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Stefan Hoffelner | Wed 4pm-5:30pm starts 2013-03-13 |
German; English possible by agreement |
| 250077 | VO | 3 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 5pm-7:30pm (15 minutes break) starts 2013-03-12 |
English possible by agreement |
| 250121 | VO | 2 (3.0) | Recursion Theory | MLOV | Hans Adler | Tue 3:15pm-4:45pm starts 2013-03-05 |
English possible by agreement |
| 250120 | VO | 2 (4.0) | Selected topics in set theory | MLOV | Sy-David Friedman | Tue, Thu 2:00–3:00pm starts 2013-03-05 |
English |
| 250119 | PJ+SE | 2 (4.0) | Project seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2013-03-06 |
English |
| 250118 | SE | 2 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2013-03-07 |
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)