Lehrveranstaltungen Sommersemester 2011

Note: All lectures at the KGRC (apart from Grundbegriffe der Mathematischen Logik VO + PS and Modallogik) are given in English, or at least can be given in English if requested.
Information presented here is tentative and subject to change without notice.

Hinweis: Alle Lehrveranstaltungen am KGRC (ausser den Grundbegriffen der Mathematischen Logik VO + PS und Modallogik) 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 ohne weitere Ankündigung ändern.

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

Sprache Language	Nummer Number	Typ Type	WSt (ECTS)	Titel Title	Modul Module	LeiterIn Lecturer	Zeit (pktl.)/Time Beginn/Start	Ort Place
Deutsch	250112	VO	2 (3)	Grundbegriffe der Mathematischen Logik	MLO	Hans Adler	Mi 13:00-14:30 2011-03-02	HS1
	250113	UE	1 (2)	Übungen zu Grundbegriffe der Mathematischen Logik	MLO	Jakob Kellner	Mo 11:00-12:00 2011-03-07	HS1
	250119	VO	2 (3)	Modallogik	MLO	Peter Telec	Mo 15:15-16:45 2011-03-07	KGRC (except for 250114)
Deutsch (English on demand)	250117	VO	2 (3)	Rekursionstheorie	MLO	Hans Adler	Do 9:00-10:30 2011-03-03
	250114	VO	3 (5)	Axiomatische Mengenlehre 1	MLOM	Jakob Kellner
	250115	PS	2 (3)	Proseminar zu Axiomatische Mengenlehren 1	MLOM	Peter Holy	Di 11:00-12:30 2011-03-15
English	250120	SE	2 (4)	Forschungsseminar aus der Mathematischen Logik	MLO	Sy-David Friedman	Do 16:00-17:30 2011-03-03
	250116	PJSE	2 (4)	Projektseminar aus der Mathematischen Logik	MLOS	Sy-David Friedman	Mo, Mi 14:15-15:15 2011-03-02
	250118	VO	2 (3)	Ausgewählte Kapitel aus der Mengenlehre	MLO	Sy-David Friedman	Di, Do 14:15-15:15 2011-03-01

Inhalte der Lehrveranstaltungen/Subject Matters

Ausgewählte Kapitel aus der Mengenlehre

Time: Tuesdays and Thursdays 2:15pm to 3:15pm
starts: 2011-03-01

Subject matter: TBA

Projektseminar aus der Mathematischen Logik

Zeit: Mo, Mi 14:15 - 15:15
Beginn: 2011-03-02

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

Time: Mondays and Wednesdays 2:15pm to 3:15pm
starts: 2011-03-02

In this Seminar, students give talks about advanced topics in mathematical logic. Intended mainly for students writing their diploma, master or PhD thesis at the KGRC.

Modallogik

Zeit: Mo 15:15-16:45
Beginn: 2011-03-07

Einführung in die grundlegendsten modallogischen Systeme (zunächst aussagenlogisch, später prädikatenlogisch) S1, S2, S3, S4 (sowohl in voller wie auch in abgeschwächter Form), S5, T, D, B und verwandte Systeme; globale Behandlung des Bereichs zwischen S4 und S5; Vergleich unterschiedlicher Sprachbasen und Axiomatiken. Beweistheoretische und modelltheoretische Aspekte werden gleichermaßen berücksichtigt (Matrizenbewertung, mehrere Versionen von Abhängigkeiten von Axiomen und Regeln, Ausdrucksfähigkeit, algebraische und Kripke-Modelle sowie der Zusammenhang zwischen ihnen, Vollständigkeitssätze, Entscheidbarkeit und Entscheidungsverfahren, Erweiterung der Verfahren auf nicht-normale Theorien).

Forschungsseminar aus der Mathematischen Logik

Time: Thursdays, 4:00pm - 5:30pm
starts: 2011-03-03

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

Module

MLO: Mathematische Logik
MLOM: Axiomatische Mengenlehre
MLOS: Seminare: Mathematische Logik und theoretische Informatik

Ort

KGRC: Seminarraum (lecture room) O2.101
HS1: Nordbergstrasse Hörsaal 1 UZA2, Ebene 1

Kurt Gödel Research Center