Courses Summer Semester 2011
Note: All lectures at the KGRC (apart from Grundbegriffe der Mathematischen Logik VO + PS and Modallogik) are given in English, or at least can be given in English if requested.
Information presented here is tentative and subject to change without notice.
Location:
KGRC, Seminarraum (lecture room) O2.101
HS1, Hörsaal 2A180, Nordbergstrasse Hörsaal 1 UZA2, Ebene 1
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
| 250112 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLO | Hans Adler | Mi 13:00 - 14:30 Beginn: 2011-03-02(Hörsaal 1, UZA 2) |
Deutsch |
| 250113 | UE | 1 (2.0) | Übungen zu Grundbegriffe der Mathematischen Logik | MLO | Jakob Kellner | Mo 11:00 - 12:00 Beginn: 2011-03-07 Hörsaal 1, UZA2) |
Deutsch |
| 250119 | VO | 2 (3.0) | Modal Logik | MLO | Peter Telec | Mo 15:15-16:45 Beginn: 2011-03-07 KGRC |
Deutsch |
| 250117 | VO | 2 (3.0) | Rekursionstheorie | MLO | Hans Adler | Do 9:00-10:30 Beginn: 2011-03-03 |
Deutsch (English on demand) |
| 250114 | VO | 3 (5.0) | Axiomatische Mengenlehre 1 | MLOM | Jakob Kellner | Mi 13:00-14:00 DO 13:00 - 14:15 Beginn: 2011-03-03 (Hörsaal 2A180, UZA2) |
Deutsch (English on demand) |
| 250115 | PS | 2 (3.0)) | Proseminar zu Axiomatische Mengenlehren 1 | MLOM | Peter Holy | DI 11:00 -12:30 Beginn: 2011-03-15 KGRC |
Deutsch (English on demand) |
| 250120 | SE | 2 (4.0) | Research Seminar (Forschungsseminar) | MLO | Sy-David Friedman | Thu 4:00pm - 5:30pm starts 2011-03-03 KGRC |
English |
| 250116 | PJ+SE | 2 (4.0) | Project seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm - 3:00pm starts 2012-03-05 KGRC |
English |
| 250118 | VO | 2 (3.0) | Research Seminar | MLO | Sy-David Friedman | Tue, Thu 2:00pm - 3:00pm starts 2012-03-01 KGRC |
English |
Modules
MLO - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOS - Seminare: Mathematische Logik und theoretische Informatik