250089 PJ+SE Projektseminar (Mathematische Logik) (2016S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Prüfungsimmanente Lehrveranstaltung

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.

The first unit is an organisational one.

Details

Sprache: Englisch

Lehrende

Sy-David Friedman

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

    
    Mittwoch
    02.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    07.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    09.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    14.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    16.03.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    04.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    06.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    11.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    13.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    18.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    20.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    25.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    27.04.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    02.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    04.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    09.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    11.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    18.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    23.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    25.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    30.05.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    01.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    06.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    08.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    13.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    15.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    20.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    22.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    27.06.
    14:00 - 15:00
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Mittwoch
    29.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

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOS

Standardausbildung im Studienschwerpunkt "Logik"

25.3. Masterstudium Mathematik ➡ 3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Letzte Änderung: Fr 18.11.2022 00:23