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

250095 VO Introduction to mathematical logic (2021W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
VOR-ORT
Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

Details

Sprache: Englisch

Prüfungstermine

Lehrende

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

  • Dienstag 05.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 07.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 12.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 14.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 19.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 21.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 28.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 04.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 09.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 11.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 16.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 18.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 23.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 25.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 30.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 02.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 07.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 09.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 14.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 16.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 11.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 13.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 18.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 20.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 25.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 27.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The class is an introduction to mathematical logic, leading all the way to Gödel's incompleteness theorems. Students are strongly encouraged to sign up for the accompanying discussion session in which the weekly problem sets will be discussed.

Art der Leistungskontrolle und erlaubte Hilfsmittel

There will be a written exam during the last week of classes. The material covered on the exam is the same as the material covered in the lecture. This includes applications of the material to solving problems similar to the ones from the problem sets.

Mindestanforderungen und Beurteilungsmaßstab

A minimum of 50% on the written exam is required to pass the class.

Prüfungsstoff

All the material covered in the lecture, including its application to solving problems.

Literatur

We will roughly be following A. Tserunyan's lecture notes:
https://www.math.mcgill.ca/atserunyan/Teaching_notes/logic_lectures.pdf
More references will be provided during the course of the semester.

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Fr 18.03.2022 15:48