Universität Wien

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

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik
Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

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 20.12.2021 10:49