Universität Wien

250061 VO Basic concepts of mathematical logic (2020W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik
Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Register/Deregister for this course

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 02.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 09.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 16.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 23.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 30.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 06.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Monday 09.11. 16:45 - 18:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 13.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 20.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 27.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 04.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 11.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 18.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 08.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 15.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 22.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 29.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock

Information

Aims, contents and method of the course

Ziele: Einführung in die mathematische Logik
Inhalte: Aussagen- und Prädikatenlogik, deren Vollständigkeitssätze; Gödelscher Unvollständigkeitssatz; Einführung in die Modelltheorie bzw. Mengentheorie
Methode: Vorlesung

Assessment and permitted materials

Schriftliche Prüfung am 29.1.2021, 11:45 Uhr.

Mündliche Prüfungstermine: 5.2.2021 und 2.3.2021. Falls Sie zu einem mündlichen Prüfungstermin antreten möchten, schicken Sie mir bitte ein paar Tage vorher eine Email.

Weiterer mündlicher Prüfungstermin: 1.Juli 2021. Kündigen Sie Ihre geplante Teilnahme bitte ein paar Tage vorher mit einer Email an.

Minimum requirements and assessment criteria

Mindestanforderung: 50% der bei der schriftlichen Prüfung erreichbaren Punkte.

Examination topics

Inhalte der Vorlesungen und deren Anwendung.

Reading list

Ein Großteil der Vorlesungen wird sich am Skriptum

L. van den Dries, "Mathematical Logic"
https://faculty.math.illinois.edu/~vddries/main.pdf

orientieren.

Association in the course directory

WLO

Last modified: Mo 20.12.2021 10:49