Kurt Gödel Research Center

Lehrveranstaltungen im Wintersemester 2006/2007

Siehe auch den Abschnitt Logik im Vorlesungsverzeichnis der Universität Wien.

Alle Lehrveranstaltungen finden im Seminarraum des KGRC statt (Seminarraum 101, Währinger Str. 25, 2. Stock).

Inhalte der Lehrveranstaltungen

Grundbegriffe der Mathematischen Logik

Zeit: Mittwoch 15:45-17:15

Beginn: 11. Oktober 2006

Literatur

• Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik.
• Enderton: A mathematical introduction to logic.

Zu dieser Vorlesung gibt es ein Skript auf Deutsch.

Leistungsnachweis

Ein Zeugnis kann durch das Bestehen einer schriftlichen Prüfung am Semesterende erworben werden.

Proseminar zu Grundbegriffe der Mathematischen Logik

Zeit: Mittwoch 15:00-15:45

Beginn: 18.10.2006

Axiomatische Mengenlehre 1

Zeit: Freitag 13:00-15:30 (mit 15 Minuten Pause)

Beginn: 13.10.2006

Proseminar zur Axiomatischen Mengenlehre 1

Zeit: Mittwoch 17:30-19:00

Beginn: 11.10.2006

Ausgewählte Kapitel aus der Mengenlehre (Selected topics in set theory)

Zeit: Dienstag 13:00-14:00, Donnerstag 14:00-15:00

Beginn: 10. Oktober 2006

This is an advanced course in set theory, suitable for students who have completed Set Theory 2. Topic to be announced.

Seminar aus der Mathematischen Logik (Seminar in Mathematical Logic)

Zeit: Montag 13:45-15:00, Mittwoch 14:00-14:45

Beginn: 9. Oktober 2006

In this seminar, students who have completed Logic 1 present lectures based on research articles in mathematical logic.

Forschungsseminar aus der Mathematischen Logik (Research Seminar in Mathematical Logic)

Zeit: Donnerstag 16:00-17:30

Beginn: 12.10.2006

This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.