250101 PS Proseminar to Axiomatic set theory 1 (2017S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Continuous assessment of course work

Prep. meeting: March, 1 at 12:00 noon, Gödel Research Center, 1090 Vienna, Währinger Straße 25, 2 floor, seminarroom 101.

Details

Language: English

Lecturers

Marlene Elisabeth Koelbing

Classes (iCal) - next class is marked with N

    
    Thursday
    09.03.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    16.03.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    23.03.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    30.03.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    06.04.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    27.04.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    04.05.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    11.05.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    18.05.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    01.06.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    08.06.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    22.06.
    09:30 - 11:05
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Thursday
    29.06.
    09:30 - 11:05
    (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

MLOM

Basic courses, specialization "Logic"

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

Last modified: Fr 18.11.2022 00:23