Universität Wien FIND

Auf Grund der COVID-19 Pandemie kann es bei Lehrveranstaltungen und Prüfungen auch kurzfristig zu Änderungen kommen. Informieren Sie sich laufend in u:find und checken Sie regelmäßig Ihre E-Mails.

Lesen Sie bitte die Informationen auf https://studieren.univie.ac.at/info.

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

250061 VO Grundzüge der mathematischen Logik (2018W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

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

Donnerstag 04.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 05.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 11.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 12.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 18.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 19.10. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 25.10. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 08.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 09.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 15.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 16.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 22.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 23.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 29.11. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 30.11. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 06.12. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 07.12. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 13.12. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 14.12. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 10.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 11.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 17.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 18.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 24.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Freitag 25.01. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
Donnerstag 31.01. 14:15 - 15:00 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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/

Art der Leistungskontrolle und erlaubte Hilfsmittel

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

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Inhalte der Lehrveranstaltung.

Literatur


Zuordnung im Vorlesungsverzeichnis

WLO

Letzte Änderung: Mo 07.09.2020 15:40