Lehrveranstaltungen Sommersemester 2012
(This page is also available in English.)
Ort: Alle Lehrveranstaltungen außer Grundbegriffe der mathematischen Logik VO und UE und Modelltheorie finden im Seminarraum des KGRC (Zimmer 101) statt.
- Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
Siehe auch das Vorlesungsverzeichnis der Universität Wien für die drei relevanten Studiengänge in Mathematik: Bachelor • Diplom • Master.
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragender | Zeit (pünktl.) | Sprache |
---|---|---|---|---|---|---|---|
250081 | VO | 2 (3,0) | Grundbegriffe der mathematischen Logik | MLO | Hans Adler | Dienstag 16:15-17:45 (Hörsaal 2, UZA2) | Deutsch |
250082 | UE | 1 (2,0) | Grundbegriffe der Mathematischen Logik | MLO | Moritz Müller | Montag 17:00-18:00 (Hörsaal 3, UZA2) | Deutsch |
250089 | VO | 2 (3,0) | Modelltheorie | MLOV | Hans Adler | Montag 11:15-12:45 (2A180, UZA2) | Deutsch (bei Bedarf Englisch) |
250083 | VO | 3 (5,0) | Einführung in die Theoretische Informatik | MLOI | Moritz Müller | Dienstag 15:15-17:45 | Englisch |
250084 | VO | 3 (5,0) | Axiomatische Mengenlehre 1 | MLOM | Lyubomyr Zdomskyy | Dienstag 12:20-13:50 Mittwoch 13:00-13:45 | Englisch |
250085 | PS | 2 (3,0) | Proseminar zu "Axiomatische Mengenlehre I" | MLOM | Stefan Hoffelner | Freitag 8:15-9:45 | |
250087 | VO | 2 (3,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2012-03-01 | Englisch |
250086 | PJ+SE | 2 (4,0) | Projektseminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2012-03-05 | |
250088 | PJ+SE | 2 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOV | Sy-David Friedman | Do 16:00-17:30 Beginn: 2012-03-01 |
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mengenlehre
Zeit: Di, Do 14:00-15:00
Beginn: 2012-03-01
Diese Lehrveranstaltung wird auf Englisch abgehalten.
This course will serve as an introduction to Woodin's theory of $P_{max}$, as presented in Paul Larson's article in the Handbook of Set Theory.
Projektseminar aus der Mathematischen Logik
Zeit: Mo, Mi 14:00-15:00
Beginn: 2012-03-05
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: 2012-03-01
Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.
Module
MLOL - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOI - Theoretische Informatik
MLOS - Seminare: Mathematische Logik und theoretische Informatik
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"