Lehrveranstaltungen im Sommersemester 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).

Nummer	Typ	WSt	Titel	Vortragende	Zeit (pünktl.)	1. Vorlesung
250430	VO	4	Mathematische Logik	Heike Mildenberger	Mo, Do 10:30-12:00	2007-03-08
250429	PS	2	Proseminar zu Mathematische Logik	Agatha Walczak-Typke	Mo 12:30-14:00	2007-03-19
250431	VO	3	Axiomatische Mengenlehre 2	Agatha Walczak-Typke, Sy-David Friedman	Mi 13:30-15:30	2007-03-07
250432	VO	2	Nichtklassische Logiken	Peter Telec	Mo 15:15-16:45	2007-03-05
250433	SE	2	Projektseminar aus der Mathematischen Logik	Sy-David Friedman	Di 15:30-16:30 Do 14:00-15:00	2007-03-19
250434	SE	2	Forschungsseminar aus der Mathematischen Logik	Sy-David Friedman	Do 16:00-17:30	2007-03-15

Inhalte der Lehrveranstaltungen

Mathematische Logik

Zeit: Mo, Do 10:30-12:00

Beginn: 8. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00

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 zu Mathematische Logik

Zeit: Mo 12:30-14:00

Beginn: 19. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00 Uhr

Axiomatische Mengenlehre 2

Zeit: Mi 13:30-15:30

Beginn: 7. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00

This continuation of Axiomatische Mengenlehre 1 will introduce forcing and Gödel's universe L of constructible sets. The independence of the Axiom of Choice from set theory with urelements as well as further topics in forcing will be discussed.

The lectures will be given in English.

Literature:

K. Kunen. Set Theory, An Introduction to Independence Proofs
T. Jech, Set Theory
A. Levy, Basic Set Theory

Prerequisites:

Basic knowledge of axiomatic set theory, such as presented in Axiomatische Mengenlehre 1.

Nichtklassische Logiken

Zeit: Mo 15:15-16:45

Beginn: 5. März 2007

Überblicksvorlesung über die wichtigsten nichtklassischen Logiken: mehrwertige, intuitionistische, minimale, intermediäre (superintuitionistische), substrukturale (relevante, BCK, BCI, Lambek-Kalkül, lineare), Quanten-, parakonsistente, Fuzzy-, nonmonotone Logiken. Umfangreiche Literaturangaben sollen zu weiterem Studium anregen.

Projektseminar aus der Mathematischen Logik

Zeit: Di 15:30-16:30, Do 14:00-15:00

Beginn: 19. März 2007

Vorbesprechung: Mi, 14. 3. 2007, 13:00

In diesem Seminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert.

Forschungsseminar aus der Mathematischen Logik

Zeit: Do 16:00-17:30

Beginn: 15. März 2007

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

Kurt Gödel Research Center