Kurt Gödel Research Center

Lehrveranstaltungen im Wintersemester 2007/2008

Siehe auch das Vorlesungsverzeichnis der Universität Wien für die drei relevanten Studiengänge in Mathematik: Bachelor • Diplom • Master.

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

Die Zeiten der LVAs (Stand: 8. Oktober 2007) sollten sich nicht mehr ändern, trotzdem: Jederzeitige Änderungen bleiben vorbehalten!

Inhalte der Lehrveranstaltungen

Grundbegriffe der Mathematischen Logik

Zeit: Dienstag 15:30-17:00

Beginn: 2. Oktober 2007

Diese Vorlesung führt in die grundlegenden Ideen der modernen mathematischen Logik ein. Themen sind: Aussagenlogik, das Lemma von Zorn, das Auswahlaxiom, die Logik der ersten Stufe, der Gödel'sche Vollständigkeitssatz, Berechenbarkeit und rekursive Aufzählbarkeit, die Gödel'schen Unvollständigkeitssätze, das Axiomensystem von Zermelo und Fraenkel.

Vorkenntnisse: Es werden keine Vorkenntnisse in der mathematischen Logik vorausgesetzt, wohl aber genügend Erfahrung im mathematischen Beweisen, so wie man sie etwa in den Anfangssemestern des Mathematikstudiums erwirbt. Die Vorlesung kann ab dem dritten Semester gehört werden.

Proseminar zu den Grundbegriffen der Mathematischen Logik

Zeit: Dienstag 17:15-18:00

Beginn: 2. Oktober 2007

Es gibt Hausübungen, und es gibt Gelegenheit, Fragen zur Vorlesung zu stellen. In diesem Proseminar sollen Sie lernen, mit den in der Vorlesung vorgestellten Techniken selbständig und souverän umzugehen.

Axiomatische Mengenlehre 1

Zeit: Montag 17:00-19:30

Beginn: 8. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

Proseminar zur Axiomatischen Mengenlehre 1

Zeit: Montag 12:45-14:15

Beginn: 8. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

Modelltheorie

Zeit: Freitag 13:00-15:00

Beginn: 5. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

Ausgewählte Kapitel aus der Mengenlehre

Zeit: Dienstag und Donnerstag 14:15-15:15

Beginn: 2. Oktober 2007

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 14:30-15:30, Mittwoch 14:00-15:00

Beginn: 1. Oktober 2007

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

Forschungsseminar aus der Mathematischen Logik

Zeit: Donnerstag 16:00-17:30

Beginn: 4. Oktober 2007

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