Lehrveranstaltungen Sommersemester 2016
(This page is also available in English.)
Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
Hinweis: Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!
Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101
Ort "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 11
Ort "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, Erdgeschoss, Hörsaal 2
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250085 | VO | 2,0 (3,0) | Grundbegriffe der mathematischen Logik | MLO | Moritz Müller | Mo 9:45-11:15 Beginn: 2016‑03‑07 | HS11 | Deutsch |
250086 | UE | 1,0 (2,0) | Übungen zu "Grundbegriffe der mathematischen Logik" | MLO | Vera Fischer | Mo 11:30-12:15 Beginn: 2016‑03‑07 | HS2 | Deutsch |
250087 | VO | 3,0 (5,0) | Axiomatische Mengenlehre 1 | MLOM | Vera Fischer | siehe Vorbesprechung | KGRC | Englisch |
250088 | PS | 2,0 (3,0) | Proseminar zu "Axiomatische Mengenlehre 1" | MLOM | Marlene Koelbing | siehe Vorbesprechung | KGRC | Englisch |
250089 | PJ+SE | 2,0 (4,0) | Projektseminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2016‑03‑02 | KGRC | Englisch |
250090 | VO | 2,0 (4,0) | Ausgewählte Kapitel der Mathematischen Logik | MLOV | Sy-David Friedman | Di, Do 14:00–15:00 Beginn: 2016‑03‑01 | KGRC | Englisch |
250091 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOV | Sy-David Friedman | Do 16:00–18:00 Beginn: 2016‑03‑03 | KGRC | Englisch |
250092 | VO | 2,0 (3,0) | Modelltheorie | MLOV | Moritz Müller | siehe Vorbesprechung | KGRC | Englisch |
Vorbesprechung
Tage und Zeiten für VO Axiomatische Mengenlehre 1, PS Proseminar zu "Axiomatische Mengenlehre 1" und VO Modelltheorie werden in einer Vorbesprechung zu Semesterbeginn festgelegt am 2016-03-01, 12:00 im Seminarraum des KGRC (Zimmer 101).
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mathematischen Logik
Zeit: Di, Do 14:00–15:00
Beginn: 2016‑03‑01
Ort: KGRC
Diese Lehrveranstaltung wird auf Englisch abgehalten.
Inhalte werden später angekündigt.
Projektseminar (Mathematische Logik)
Zeit: Mo, Mi 14:00–15:00
Beginn: 2016‑03‑02
Ort: KGRC
In diesem Projektseminar 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–18:00
Beginn: 2016‑03‑03
Ort: KGRC
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"