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

250015 VO Grundzüge der mathematischen Logik (2017S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

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

  • Donnerstag 02.03. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 07.03. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 09.03. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 14.03. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 16.03. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 21.03. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 23.03. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 28.03. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 30.03. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 04.04. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 06.04. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 25.04. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 27.04. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 02.05. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 04.05. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 09.05. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 11.05. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 16.05. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 18.05. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 23.05. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 30.05. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 01.06. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 08.06. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 13.06. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 20.06. 16:45 - 18:15 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 22.06. 09:45 - 10:30 Hörsaal 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 27.06. 16:45 - 18:15 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. Außerdem ist ein Einblick in die Rekursionstheorie geplant. 

Weitere Informationen auf der Webseite zur Vorlesung: http://boolesrings.org/sandrauhlenbrock/teaching/grundzuege-2017/

Art der Leistungskontrolle und erlaubte Hilfsmittel

Schriftliche Prüfung am Ende der Vorlesungszeit. 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

• Heinz-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomas: Einführung in die mathematische Logik, Spektrum Verlag, 5. Auflage, 2007.
• Moritz Müller, Skript zur Aussagenlogik ( http://www.logic.univie.ac.at/~muellem3/aussagenlogik.pdf )
• Ralf Schindler: Logische Grundlagen der Mathematik, Springer-Verlag, 2009. (Aus dem Netz der Universität Wien kostenlos erhältlich unter http://link.springer.com/book/10.1007/978-3-540-95932-8 )
• Martin Ziegler, Mathematische Logik, Reihe Mathematik Kompakt, Birkhäuser Verlag, 2010. (Aus dem Netz der Universität Wien kostenlos erhältlich unter http://link.springer.com/book/10.1007%2F978-3-0346-0652-3 )

Zuordnung im Vorlesungsverzeichnis

WLO

Letzte Änderung: Mo 07.09.2020 15:40