Lehrveranstaltungen Wintersemester 2012-2013
(This page is also available in English.)
Ort: Alle Lehrveranstaltungen 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 |
---|---|---|---|---|---|---|---|
250079 | VO | 4 (6,0) | Einführung in die mathematische Logik | MLOL | Hans Adler | Mi, Fr 15:30-17:00 Beginn: 2012-10-05 | Deutsch |
250080 | PS | 2 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Jakob Kellner | Fr 10:00-11:30 Beginn: 2012-10-12 | Deutsch |
250118 | VO | 2 (7,0) | Mengenlehre (reading course) | MLOV | Jakob Kellner | Siehe Homepage | Deutsch |
250127 | VO | 2 (3,0) | Forcing mit Zufallsvariablen | MLOV | Moritz Müller | Mi 10:45-12:15 Beginn: 2012-10-10 | Englisch |
250117 | VO | 2 (4,0) | Ausgewählte Kapitel aus der Mathematischen Logik | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2012-10-02 | Englisch |
250116 | SE | 2 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2012-10-01 | Englisch |
250115 | SE | 2 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00-18:00 Beginn: 2012-10-04 | Englisch |
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mathematischen Logik
Zeit: Dienstag, Donnerstag 14:00-15:00
Beginn: 2012-10-02
Diese Lehrveranstaltung wird auf Englisch abgehalten.
This course will address various themes in logic, with an emphasis in topics that make connections between the four principal areas of the field: set theory, proof theory, computation theory and model theory.
Seminar aus der Mathematischen Logik
Zeit: Montag, Mittwoch 14:00-15:00
Beginn: 2012-10-01
Diese Lehrveranstaltung wird auf Englisch abgehalten.
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: Donnerstag 16:00-18:00
Beginn: 2012-10-04
Diese Lehrveranstaltung wird auf Englisch abgehalten.
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"