Kurt Gödel Research Center

Lehrveranstaltungen im Wintersemester 2008/2009

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

Mit Ausnahme der VO Einführung in die Theoretische Informatik (Seminarraum 2A180 UZAII) finden alle Lehrveranstaltungen im Seminarraum des KGRC statt (Seminarraum 101, Währinger Str. 25, 2. Stock).

Grundbegriffe der mathematischen Logik, Axiomatische Mengenlehre

Aufgrund der Umstellungen im Rahmen der Einführung der neuen Studienpläne

Grundbegriffe der Mathematischen Logik (VO, 2St) (Pflicht-LVA für das alte Diplomstudium und für den wissenschaftlichen Zweig des neuen Bachelor-Studiums). Diese LVA wird ab sofort im Sommersemester angeboten, das nächste mal im Sommersemester 2009. Auch die Axiomatische Mengenlehre 1 wird im Sommersemester (ab 2008) angeboten, die Axiomatische Mengenlehre 2 im Wintersemester (ab 2009).

Inhalte der Lehrveranstaltungen

Einführung in die Mathematische Logik

Zeit: Mo und Di, 10:30 - 12:00

Beginn: 2008-10-06

Diese vierstündige Vorlesung führt in die grundlegenden Ideen der mathematischen Logik ein. Wir stellen die Sprache der ersten Stufe vor und beweisen die Gödelschen Sätze. Zum Beweisen der Unvollständigkeitssätze beschäftigen wir uns auch mit einigen Grundlagen aus der Rekursionstheorie und der Beweistheorie.

Kenntnisse aus der Grundbegriffe-Vorlesung sind nützlich, aber nicht unbedingt erforderlich.

Proseminar zur Einführung in die Mathematische Logik

Zeit: Mi 12:25 - 13:55

Beginn: 2008-10-07

Einführung in die Theoretische Informatik

Vorlesung Zeit: Di 17:00 - 18:05 und Mi 16:00-17:10

Vorlesung Ort: Seminarraum 2A180 UZAII

Kann man "Algorithmus", "berechenbar" etc. überhaupt (befriedigend) definieren? (Ja!)

Gibt es Funktionen die man nicht berechnen, Probleme die man nicht entscheiden kann? (Ja!)

Kann man das auch beweisen? (Ja!)

Seminar aus der Mathematischen Logik

Zeit: Mo und Mi, 14:00 - 15:00

Beginn: 2008-10-01

In diesem Seminar werden Vorträge über die Mathematische Logik von Studierenden gehalten, die die Vorlesung "Einführung in die Math. Logik" schon besucht haben.

Ausgewählte Kapitel aus der Mathematischen Logik

Zeit: Di und Do, 14:00 - 15:00

Beginn: 2008-10-02

This will be a leisurely look at the development of infinite and finite model theory, based on John Baldwin's article "Finite and Infinite Model Theory, A Historical Perspective"

Baldwin's article contains no proofs; I'll try to provide some proofs using other sources.

Forschungsseminar aus der Mathematischen Logik

Zeit: Do 16:00 - 17:30

Beginn: 2008-10-02

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