Lehrveranstaltungen Wintersemester 2013-2014
(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 |
---|---|---|---|---|---|---|---|
250102 | VO | 3 (5,0) | Einführung in die Theoretische Informatik | MLOI | Moritz Müller | Fr 16:00-18:30 Beginn: 2013-10-04 | Deutsch; Englisch möglich nach Vereinbarung |
250103 | VO | 4 (6.0) | Einführung in die Mathematische Logik | MLOL | Jakob Kellner | siehe LVA-Seite | Deutsch |
250104 | PS | 2 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Stefan Hoffelner Moritz Müller | Fr 14:00-15:30 Beginn: 2013-10-11 | Deutsch |
250105 | SE | 2 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00-15:00 Beginn: 2013-10-07 | Englisch |
250106 | VO | 2 (4,0) | Ausgewählte Kapitel aus der Mathematischen Logik | MLOV | Sy-David Friedman | Di, Do 14:00-15:00 Beginn: 2013-10-08 | Englisch |
250107 | SE | 2 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOV | Sy-David Friedman | Do 16:00-18:00 Beginn: 2013-10-10 | Englisch |
250108 | VO | 2 (7,0) | Mengenlehre (reading course) | MLOV | Yurii Khomskii | Mi 15:00-17:00 Beginn: 2013-10-09 | Englisch |
Inhalte der Lehrveranstaltungen
Ausgewählte Kapitel aus der Mathematischen Logik
Zeit: Dienstag, Donnerstag 14:00-15:00
Beginn: 2013-10-08
Diese Lehrveranstaltung wird auf Englisch abgehalten.
Models and Games
We will follow Väänänen's recent book of the above title with a focus on how to characterise elementary equivalence logics extending first-order logic.
Seminar (Mathematische Logik)
Zeit: Montag, Mittwoch 14:00-15:00
Beginn: 2013-10-07
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: 2013-10-10
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"