250102 SE Research seminar in mathematical logic (2017S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Prüfungsimmanente Lehrveranstaltung

Details

Sprache: Englisch

Lehrende

Sy-David Friedman

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

    
    Donnerstag
    02.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    09.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    16.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    23.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    30.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    06.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    27.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    04.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    11.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    18.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    01.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    08.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    22.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Donnerstag
    29.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

25.3. Master Mathematics ➡ 3.6. Mathematical logic and theoretical computer science

Letzte Änderung: Fr 18.11.2022 00:23