Course Summer Semester 2012
Location:
All courses other than Basic concepts of mathematical logic VO and UE and Model theory will be given in the KGRC lecture room 101.
Note:
All lectures at the KGRC are given in English, or at least can be given in English if requested.
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
|---|---|---|---|---|---|---|---|
| 250081 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLO | Hans Adler | Tue 4:15pm - 5:45pm (Hörsaal 2, UZA 2) |
German |
| 250082 | UE | 1 (2.0) | Tutorials - Basic concepts of mathematical logic | MLO | Moritz Müller | Mon 5:00pm - 6:00pm (Hörsaal 3, UZA2) |
German |
| 250089 | VO | 2 (3.0) | Model theory | MLOV | Hans Adler | Mon 11:15am - 12:45pm (2A180, UZA2) |
German (English on demand) |
| 250083 | VO | 3 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 3:15pm - 5:45pm | English |
| 250084 | VO | 3 (5.0) | Axiomatic set theory 1 | MLOM | Lyubomyr Zdomskyy | Tuesday 12:20pm - 1:50pm Wed 1:00pm - 1:45pm |
English |
| 250085 | PS | 2 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Stefan Hoffelner | Friday 8:15-9:45 | English |
| 250087 | VO | 2 (3.0) | Selected Topics in Set Theory | MLOV | Sy-David Friedman | Tue, Thu 2:00pm-3:00pm starts 2012-03-01 |
English |
| 250086 | PJ+SE | 2 (4.0) | Project seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm -3:00pm starts 2012-03-05 |
English |
| 250088 | PJ+SE | 2 (4.0) | Research Seminar | MLOV | Sy-David Friedman | Thu 4:00pm -5:30pmbr>starts 2012-03-01 | 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 theoretical 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)