Lehrveranstaltungen Wintersemester 2014-2015
(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.
- Hinweis: Die Information auf dieser Seite ist vorläufig und kann sich jederzeit ohne Vorankündigung ändern!
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragender | Zeit (pünktl.) | Sprache |
---|---|---|---|---|---|---|---|
VO | 3,0 (n.v.) | Einführung in die theoretische Informatik | Moritz Müller | siehe Vorbesprechung | |||
VO | 2,0 (n.v.) | Mengenlehre (reading course) | Barnabas Farkas | siehe Vorbesprechung | |||
VO | 4,0 (n.v.) | Einführung in die mathematische Logik | Lyubomyr Zdomskyy | siehe Vorbesprechung | |||
PS | 2,0 (n.v.) | Proseminar zu "Einführung in die Mathematische Logik" | Moritz Müller, Stefan Hoffelner | siehe Vorbesprechung | |||
SE | 2,0 (n.v.) | Seminar (mathematische Logik) | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2014-10-06 | Englisch | ||
VO | 2,0 (n.v.) | Ausgewählte Kapitel aus der mathematischen Logik | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2014-10-07 | Englisch | ||
SE | 2,0 (n.v.) | Forschungsseminar aus der mathematischen Logik | Sy-David Friedman | Do 16:00-18:00 Beginn: 2014-10-02 | Englisch | ||
VO | 2,0 (n.v.) | Modelltheorie der Arithmetik | Tin Lok Wong | siehe Vorbesprechung | Englisch |
Vorbesprechung
Tage und Zeiten für VO Einführung in die theoretische Informatik, VO Mengenlehre (reading course), VO Einführung in die mathematische Logik, PS Proseminar zu "Einführung in die Mathematische Logik" und VO Modelltheorie der Arithmetik werden in der Vorbesprechung am 2014-10-01 um 14:00 im Seminarraum des KGRC (Zimmer O2.101) festgelegt.
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mathematischen Logik
Zeit: Di, Do 14:00-15:00
Beginn: 2014-10-07
Diese Lehrveranstaltung wird auf Englisch abgehalten.
Inhalte werden später angekündigt.
Seminar (Mathematische Logik)
Zeit: Mo, Mi 14:00-15:00
Beginn: 2014-10-06
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-18:00
Beginn: 2014-10-02
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"