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.
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragender | Zeit (pünktl.) | Sprache |
---|---|---|---|---|---|---|---|
250077 | VO | 3,0 (5,0) | Einführung in die theoretische Informatik | MLOI | Moritz Müller | Do 10:00-12:30 Beginn: 2014-10-09 | Englisch |
250084 | VO | 2,0 (7,0) | Reading Course Mengenlehre | MLOV | Barnabas Farkas | Di 16:00-17:30 Beginn: 2014-10-07 | Englisch |
250078 | VO | 4,0 (6,0) | Einführung in die mathematische Logik | MLOL | Lyubomyr Zdomskyy | Mi 15:15-16:50 Fr 9:45-11:20 Beginn: 2014-10-08 | Deutsch |
250079 | PS | 2,0 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | Moritz Müller, Stefan Hoffelner | Mo 17:30-19:00 Beginn: 2014-10-06 | Englisch | |
250081 | SE | 2,0 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2014-10-06 | Englisch |
250082 | VO | 2,0 (4,0) | Ausgewählte Kapitel aus der Mathematischen Logik | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2014-10-07 | Englisch |
250080 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00-18:00 Beginn: 2014-10-09 | Englisch |
250083 | VO | 2,0 (4,0) | Modelltheorie der Arithmetik | MLOV | Tin Lok Wong | Mi 12:00-13:35 Beginn: 2014-10-08 | Englisch |
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.
The Philosphy and Mathematics of Set-Theoretic Truth
This will be a course devoted to the approach to Set-Theoretic Truth given by the Hyperuniverse Programme. I'll begin with a discussion of the Iterative Conception as well as the Potentialism vs. Actualism debate in our understanding of structure of the set-theoretic universe. Then after touching on various Multiverse Conceptions I'll focus in detail on the Hyperuniverse Programme: Mental pictures and Maximality, the Reduction to the Hyperuniverse, H-Axioms, the IMH and its variants, #-Generation and the Synthesis of Mathematical Criteria. The optimistic aim of the Programme is to discover new first-order consequences of the Maximality feature of the Universe of Sets which resolve fundamental problems in Set Theory such as the Continuum Problem.
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-09
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"