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

250103 VO Einführung in die Mathematische Logik (2013W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

Siehe http://www.logic.univie.ac.at/~kellner/teaching/2013WS_VO_Einfuehrung/

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

Jakob Kellner

Termine

Zur Zeit sind keine Termine bekannt.

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Im ersten Teil werden sehr kompakt grundlegende Sätze der Prädikatenlogik durchgenommen (Vollständigkeits- und Unvollständigkeitssatz etc). Dabei werden die Inhalte der LVA "Grundbegriffe der mathematischen Logik" bereits vorausgesetzt (genauer: Definition von berechenbarer Funktion, Unlösbarkeit des Halteproblems, Definitionen von Prädikatenlogik, semantischer Folgerung und formaler Ableitung und der Vollständigkeitssatz).

Im zweiten Teil wird die prädikatenlogische Theorie der formalen Mengenlehre (ZFC) eingeführt und untersucht.

Art der Leistungskontrolle und erlaubte Hilfsmittel

mündliche Prüfung

Mindestanforderungen und Beurteilungsmaßstab

Gutes Verständnis der grundlegenden Resultate über Prädikatenlogik und erste ZFC Resultate (transfinite Induktion, Ordinalzahlen, Kardinalzahlen und -arithmetik)