Universität Wien

250075 PS Introductory seminar on mathematical logic (2017W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Prüfungsimmanente Lehrveranstaltung

The time will be fixed in a preparatory meeting on 2017-10-02, 12:00pm in the KGRC, 1090, Währinger Str. 25, 2 floor, lecture room number 101.

Details

Sprache: Englisch

Lehrende

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

Die Vorlesung findet im Hörsaal des Kurt Gödel Research Centers (Währinger Straße 25, 2.Stock, 02.101) statt. Am Montag den 2. Oktober 2017 um 12 Uhr findet dort eine Vorbesprechung statt, in der die Zeiten für Vorlesung und Übung gemeinsam festgelegt werden. Falls Sie Interesse an dieser Vorlesung haben, aber am Termin der Vorbesprechung verhindert sein sollten, bitte ich Sie mich rechtzeitig per E-Mail zu kontaktieren.

  • Freitag 06.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 13.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 20.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 27.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 03.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 10.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 17.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 24.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 01.12. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 15.12. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 12.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 19.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 26.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

In diesem Proseminar werden Übungsbeispiele besprochen, die die Vorlesung "Introduction to mathematical logic" ergänzen.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Präsentation der Übungsbeispiele.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Fr 18.11.2022 00:23