Universität Wien FIND

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Vor-Ort-Lehre und Umstellung auf Online-Prüfungen) erforderlich sein. Melden Sie sich für Lehrveranstaltungen/Prüfungen über u:space an, informieren Sie sich über den aktuellen Stand auf u:find und auf der Lernplattform moodle.

Regelungen zum Lehrbetrieb vor Ort inkl. Eintrittstests finden Sie unter https://studieren.univie.ac.at/info.

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

250061 VO Grundzüge der mathematischen Logik (2020W)

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").

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

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

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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

Art der Leistungskontrolle und erlaubte Hilfsmittel

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.

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Inhalte der Vorlesungen und deren Anwendung.

Literatur

Ein Großteil der Vorlesungen wird sich am Skriptum

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

orientieren.

Zuordnung im Vorlesungsverzeichnis

WLO

Letzte Änderung: Mo 26.07.2021 14:48