250091 SE Research Seminar (Mathematical logic) (2016S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Continuous assessment of course work

The course will be in SR of the Josephinum building, Währinger Str. 25, right part of the building,
2 nd floor, room no. 101.

Details

Language: English

Lecturers

Sy-David Friedman

Classes (iCal) - next class is marked with N

    
    Thursday
    03.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    10.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    17.03.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    07.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    14.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    21.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    28.04.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    12.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    19.05.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    02.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    09.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    16.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    23.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    30.06.
    16:00 - 18:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Aims, contents and method of the course

Assessment and permitted materials

Minimum requirements and assessment criteria

Examination topics

Reading list

Association in the course directory

MLOV

Advancede courses, specialization "Logic"

25.3. Master Programme ➡ 4.6. Specialization "Mathematical logic and theoretical informatics"

Last modified: Fr 18.11.2022 00:23