Universität Wien

250061 VO Basic concepts of mathematical logic (2019W)

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 04.10. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 11.10. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 18.10. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 25.10. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 08.11. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 15.11. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 22.11. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 29.11. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 06.12. 08:00 - 09:30 Hörsaal 4 Oskar-Morgenstern-Platz 1 Erdgeschoß
  • Friday 06.12. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 13.12. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 10.01. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 17.01. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 24.01. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 31.01. 08:00 - 10:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock

Information

Aims, contents and method of the course

Diese Vorlesung bietet eine Einführung in die mathematische Logik. Wir werden zunächst Aussagen- und Prädikatenlogik einführen und den Gödelschen Vollständigkeitssatz behandeln. Im Anschluss werden wir Nichtstandard-Modelle der natürlichen Zahlen betrachten und den berühmten ersten Gödelschen Unvollständigkeitssatz diskutieren. Dann werden wir uns der Mengenlehre widmen und unter anderem das Auswahlaxiom in seinen Varianten analysieren.

Es werden keine Vorkenntnisse vorausgesetzt.

Weitere Informationen auf der Webseite zur Vorlesung: https://muellersandra.github.io/teaching/grundzuege-2019/

Assessment and permitted materials

Schriftliche Prüfung am 24.01.2020. Weitere Prüfungstermine werden auf Anfrage mündlich angeboten.

Minimum requirements and assessment criteria

Verständnis der zentralen in der Vorlesung behandelten Resultate und Anwendung dieser auf einfache Fragestellungen.

Examination topics

Inhalte der Lehrveranstaltung.

Reading list

Siehe Webseite, https://muellersandra.github.io/teaching/grundzuege-2019/

Association in the course directory

WLO

Last modified: We 02.02.2022 00:26