Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250015 VO Basic concepts of mathematical logic (2017S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

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

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

Assessment and permitted materials

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

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

Association in the course directory

WLO

Last modified: Mo 07.09.2020 15:40