Kurt Gödel Research Center

Lehrveranstaltungen Wintersemester 2011-2012

(This page is also available in English.)

• Hinweis: Alle Lehrveranstaltungen am KGRC (außer der Einführung in die Mathematische Logik VO + PS) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!

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

Inhalte der Lehrveranstaltungen

Mengenlehre (reading course)

Zeit: Di 16:00-17:30
Beginn: 2011-10-04

An die Inhalte der Vorlesung Axiomatische Mengenlehre 1 aus dem letzten Semester anknüpfend, werden wir in "Kenneth Kunen: Set Theory. An Introduction to Independence Proofs" weiterlesen. Das erste Ziel der Vorlesung wird sein Kapitel VII (Forcing) genau durchzuarbeiten. Dazu werden wir auch Teile von Kapitel II (Infinitary Combinatorics) lesen. Weiters werden wir uns dem iterierten Forcing zuwenden (vermutlich nach "Martin Goldstern: Tools for your Forcing Construction", nicht nach Kunens Buch) und einige ausgewählte Kapitel aus den ersten beiden Teilen von "Thomas Jech: Set Theory. The Third Millennium Edition" lesen.

In den wöchentlichen Treffen soll das Gelesene besprochen werden, sollen Unklarheiten geklärt werden und wird Weiterführendes bzw. auf den Lesestoff der Folgewoche Vorbereitendes von mir präsentiert sowie auch eventuelle Übungsbeispiele besprochen. Weiters möchte ich die Möglichkeit anbieten, mich bei Fragen oder Unklarheiten zum aktuellen Lesestoff jederzeit per Mail oder persönlich zu kontaktieren.

Sollte der vorgeschlagene Termin ungünstig sein, kann in der ersten Einheit gern ein neuer verhandelt werden. Wer nicht zur ersten Einheit kommen kann, dennoch gern teilnehmen möchte, sollte mich per Mail kontaktieren.

Ausgewählte Kapitel aus der Mathematischen Logik

Zeit: Di und Do 14:00-15:00
Beginn: 2011-10-04

Diese Lehrveranstaltung wird auf Englisch abgehalten.

This will be a course on Descriptive Complexity Theory, following parts of the book "Finite Model Theory" by Ebbinghaus-Flum. This theory relates logic and complexity theory in the following way: Consider finite structures S. Given a complexity class C, is there a logic L such that the relations on S which belong to C are exactly those which are definable in S using formulas from the logic L? We say that "L captures C". The main theorem of the subject provides a positive answer for the complexity classes LOGSPACE, NLOGSPACE, PTIME, NPTIME and PSPACE, provided one restricts to *ordered* structures. We'll also look at the model theory of the logics that capture these classes and discuss the open question of whether there is a logic that captures PTIME on *arbitrary* finite structures.

Seminar aus der Mathematischen Logik

Zeit: Mo und Mi 14:00-15:00
Beginn: 2011-10-03

In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von Studierenden gehalten (in erster Linie von solchen, die am KGRC eine Diplom- oder Masterarbeit oder Dissertation schreiben).

Forschungsseminar aus der Mathematischen Logik

Zeit: Do 16:00 - 17:30
Beginn: 2011-10-06

Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.

Module

MLOL - Mathematische Logik

MLOM - Axiomatische Mengenlehre

MLOS - Seminare: Mathematische Logik und theoretische Informatik

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"