250102 SE Research seminar in mathematical logic (2019S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Prüfungsimmanente Lehrveranstaltung

Details

max. 25 Teilnehmer*innen

Sprache: Englisch

Lehrende

Benjamin Miller

Termine (iCal) - nächster Termin ist mit N markiert

    
    Donnerstag
    07.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    14.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    21.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    28.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    04.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    11.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    02.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    09.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    16.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    23.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    06.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    13.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOS

Core modules logic

Master Mathematics (821 [2] - Version 2016) ➡ Elective Modules (75 ECTS)

Letzte Änderung: Fr 18.11.2022 00:23