Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

250170 PS Introductory seminar on mathematical logic (2019S)

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

In the short term, the courses could take place at the Josephinum. If you have any questions, please contact your lecturer.
Moodle

Details

max. 25 Teilnehmer*innen
Sprache: Englisch

Lehrende

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

  • Dienstag 05.03. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 19.03. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 26.03. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 02.04. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 09.04. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 30.04. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 07.05. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 14.05. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 21.05. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 28.05. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 04.06. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 18.06. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 25.06. 16:00 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

We will discuss exercises that compliment the course “Introduction to mathematical logic.”

Art der Leistungskontrolle und erlaubte Hilfsmittel

Students must present solutions to exercises at the blackboard. Students will be assessed based on the correctness and clarity of their presentations.

Mindestanforderungen und Beurteilungsmaßstab

See above.

Prüfungsstoff

Exercises to be given.

Literatur

See website for “Introduction to mathematical logic.” https://muellersandra.github.io/teaching/introduction-to-mathematical-logic-sose-2019/

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Fr 18.11.2022 00:23