Lehrveranstaltungen Sommersemester 2013
(This page is also available in English.)
Ort: Alle Lehrveranstaltungen außer Grundbegriffe VO+UE finden im Seminarraum des KGRC (Zimmer 101) statt. Die Grundbegriffe-VO findet im UZA 2, Hörsaal 3 statt. Die Grundbegriffe-UE findet im UZA 2, Hörsaal 1 statt.
- Hinweis: Die Informationen auf dieser Seite können sich jederzeit ohne vorherige Ankündigung ändern!
- 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 |
---|---|---|---|---|---|---|---|
250064 | VO | 2 (3,0) | Grundbegriffe der mathematischen Logik | MLOL | Hans Adler | Di 13:15-14:45 (Hörsaal 3, UZA 2) Beginn: 2013-03-05 | Deutsch |
250065 | UE | 1 (2,0) | Übungen zu Grundbegriffe der mathematischen Logik | MLOL | Jakob Kellner | Do 12:05-12:50 (Hörsaal 1, UZA 2) Beginn: 2013-03-07 | Deutsch |
250075 | VO | 3 (5,0) | Axiomatische Mengenlehre 1 | MLOM | Jakob Kellner | Fr 8:30-11:00 Beginn: 2013-03-08 | Deutsch; Englisch möglich nach Vereinbarung |
250076 | PS | 2 (3,0) | Proseminar zu "Axiomatische Mengenlehre 1" | MLOM | Stefan Hoffelner | Mi 16:00-17:30 Beginn: 2013-03-13 | Deutsch; Englisch möglich nach Vereinbarung |
250077 | VO | 3 (5,0) | Einführung in die Theoretische Informatik | MLOI | Moritz Müller | Di 17:00-19:30 (15 Minuten Pause) Beginn: 2013-03-12 | Englisch möglich nach Vereinbarung |
250121 | VO | 2 (3,0) | Rekursionstheorie | MLOV | Hans Adler | Di 15:15-16:45 Beginn: 2013-03-05 | Englisch möglich nach Vereinbarung |
250120 | VO | 2 (4,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2013-03-05 | Englisch |
250119 | PJ+SE | 2 (4,0) | Projektseminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2013-03-06 | Englisch |
250118 | SE | 2 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00-18:00 Beginn: 2013-03-07 | Englisch |
Die Vorbesprechung zu Axiomatische Mengenlehre 1, dem Proseminar, Einführung in die Theoretische Informatik und Rekursionstheorie fand am 2013-03-04 um 10:00 im Seminarraum des KGRC (Zimmer 101) statt.
Inhalte der Lehrveranstaltungen
Projektseminar (Mathematische Logik
Zeit: Montag, Mittwoch 14:00-15:00
Beginn: 2013-03-06
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).
Ausgewählte Kapitel aus der Mengenlehre
Zeit: Dienstag, Donnerstag 14:00-15:00
Beginn: 2013-03-05
Diese Lehrveranstaltung wird auf Englisch abgehalten.
Invariant Descriptive Set Theory
We will follow Gao's book of the above title with a focus on the Borel reducibility of equivalence relations. An important aim will be to understand to what extent the results from the classical theory extend to equivalence relations on the generalised Baire space $\kappa^\kappa$ where $\kappa$ is uncountable (and there are only $\kappa$-many bounded subsets of $\kappa$).
Forschungsseminar aus der Mathematischen Logik
Zeit: Do 16:00-18:00
Beginn: 2013-03-07
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"