Universität Wien

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").
Für diese LV an-/abmelden

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

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

Zuordnung im Vorlesungsverzeichnis

WLO

Letzte Änderung: Mo 07.09.2020 15:40