Courses Winter Semester 2012/2013
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Location: All courses will be given in the KGRC lecture room 101.
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
|---|---|---|---|---|---|---|---|
| 250079 | VO | 4 (6.0) | Introduction to mathematical logic | MLOL | Hans Adler | Wed, Fri 3:30pm–5:00pm starts 2012-10-05 |
German |
| 250080 | PS | 2 (3.0) | Introductory Seminar: "Introduction to mathematical logic" | MLOL | Jakob Kellner | Fri 10:00am–11:30am starts 2012-10-12 |
German |
| 250118 | VO | 2 (7.0) | Set theory (reading course) | MLOV | Jakob Kellner | Mon 9:00am-10.30am, Wed 9:00am-10:30am | German |
| 250127 | VO | 2 (3.0) | Forcing with random variables | MLOV | Moritz Müller | Wed 10:45am–12:15pm starts 2012-10-10 |
English |
| 250117 | VO | 2 (4.0) | Selected Topics in Mathematical Logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2012-10-02 |
English |
| 250116 | SE | 2 (4.0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2012-10-01 |
English |
| 250115 | SE | 2 (4.0) | Research Seminar | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2012-10-04 |
English |
Modules
MLOL - Mathematische Logik (mathematical logic)
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)