Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice. Inform yourself about the current status on u:find and check your e-mails regularly.

Please read the information on https://studieren.univie.ac.at/en/info.

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).

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


Association in the course directory

WLO

Last modified: Mo 07.09.2020 15:40