Universität Wien

250061 VO Basic concepts of mathematical logic (2018W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

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

  • Thursday 04.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 05.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 11.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 12.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 18.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 19.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 25.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 08.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 09.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 15.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 16.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 22.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 23.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 29.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 30.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 06.12. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 07.12. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 13.12. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 14.12. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 10.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 11.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 17.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 18.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 24.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Friday 25.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 31.01. 14:15 - 15:00 Hörsaal 11 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 beweisen. Dann werden wir uns der Mengenlehre widmen und unter anderem das Auswahlaxiom in seinen Varianten diskutieren.

Es werden keine Vorkenntnisse vorausgesetzt.

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

Assessment and permitted materials

Schriftliche Prüfung am 31.01.2019. 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-2018/

Association in the course directory

WLO

Last modified: Mo 07.09.2020 15:40