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

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Prüfungsimmanente Lehrveranstaltung

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

Details

Sprache: Englisch

Lehrende

Marlene Elisabeth Koelbing

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

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOM

Core modules logic

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

Letzte Änderung: Fr 18.11.2022 00:23