250070 VO Einführung in die Mathematische Logik (2015W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

Please have a look at http://www.logic.univie.ac.at/2015/Winter_courses.html
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

Sprache: Englisch

Prüfungstermine

Montag 08.02.2016 Mittwoch 17.02.2016 Freitag 19.02.2016 Freitag 18.03.2016 Mittwoch 13.04.2016 Freitag 15.04.2016

Lehrende

Vera Fischer

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

    
    Freitag
    02.10.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    05.10.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    09.10.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    12.10.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    16.10.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    19.10.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    23.10.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    30.10.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    06.11.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    09.11.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    13.11.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    16.11.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    20.11.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    23.11.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    27.11.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    30.11.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    04.12.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    07.12.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    11.12.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    14.12.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    18.12.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    08.01.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    11.01.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    15.01.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    18.01.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    22.01.
    09:00 - 10:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Montag
    25.01.
    08:00 - 09:30
    (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
    
    Freitag
    29.01.
    09:00 - 10:30
    (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

Oral examination

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOL

Standardausbildung im Studienschwerpunkt "Logik"

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

Letzte Änderung: Fr 18.11.2022 00:23