Universität Wien

250061 VO Basic concepts of mathematical logic (2020W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Friday 02.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 09.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 16.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 23.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 30.10. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 06.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Monday 09.11. 16:45 - 18:15 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 13.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 20.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 27.11. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 04.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 11.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 18.12. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 08.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 15.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 22.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Friday 29.01. 11:45 - 14:00 Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock

Information

Aims, contents and method of the course

Ziele: Einführung in die mathematische Logik
Inhalte: Aussagen- und Prädikatenlogik, deren Vollständigkeitssätze; Gödelscher Unvollständigkeitssatz; Einführung in die Modelltheorie bzw. Mengentheorie
Methode: Vorlesung

Assessment and permitted materials

Schriftliche Prüfung am 29.1.2021, 11:45 Uhr.

Mündliche Prüfungstermine: 5.2.2021 und 2.3.2021. Falls Sie zu einem mündlichen Prüfungstermin antreten möchten, schicken Sie mir bitte ein paar Tage vorher eine Email.

Weiterer mündlicher Prüfungstermin: 1.Juli 2021. Kündigen Sie Ihre geplante Teilnahme bitte ein paar Tage vorher mit einer Email an.

Minimum requirements and assessment criteria

Mindestanforderung: 50% der bei der schriftlichen Prüfung erreichbaren Punkte.

Examination topics

Inhalte der Vorlesungen und deren Anwendung.

Reading list

Ein Großteil der Vorlesungen wird sich am Skriptum

L. van den Dries, "Mathematical Logic"
https://faculty.math.illinois.edu/~vddries/main.pdf

orientieren.

Association in the course directory

WLO

Last modified: Mo 20.12.2021 10:49