250103 SE Seminar (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

    
    Montag
    06.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    08.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    15.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    20.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    22.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    27.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    29.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    03.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    05.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    24.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    26.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    03.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    08.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    10.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    15.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    17.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    22.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    24.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    29.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    31.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    07.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    12.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    14.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    19.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    21.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    26.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    28.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

In this seminar, students give talks about advanced topics in mathematical logic. This seminar is intended mainly for students writing their diploma, master or PhD thesis at the KGRC.

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