Courses Winter Semester 2014/2015
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 (room 101).
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
|---|---|---|---|---|---|---|---|
| 250077 | VO | 3.0 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Thu 10:00am–12:30pm starts 2014-10-09 |
English |
| 250084 | VO | 2.0 (7.0) | Set theory (reading course) | MLOV | Barnabas Farkas | Tue 4:00pm–5:30pm starts 2014-10-07 |
English |
| 250078 | VO | 4.0 (6.0) | Introduction to mathematical logic | MLOL | Lyubomyr Zdomskyy | Wed 3:15pm–4:50pm Fri 9:45am–11:20am starts 2014-10-08 |
German |
| 250079 | PS | 2.0 (3.0) | Introductory seminar: "Introduction to mathematical logic" | Moritz Müller, Stefan Hoffelner |
Mon 5:30pm–7:00pm starts 2014-10-06 |
English | |
| 250081 | SE | 2.0 (4.0) | Seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2014-10-06 |
English |
| 250082 | VO | 2.0 (4.0) | Selected topics in mathematical logic | MLOV | Sy-David Friedman | Tue, Thu 2:00pm–3:00pm starts 2014-10-07 |
English |
| 250080 | SE | 2.0 (4.0) | Forschungsseminar Research Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2014-10-09 |
English |
| 250083 | VO | 2.0 (4.0) | Model theory of arithmetic | MLOV | Tin Lok Wong | Wed 12:00pm–1:35pm starts 2014-10-08 |
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)