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

250046 VO Mathematische Logik (2024W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
Moodle
Di 21.01. 11:30-13:00 Seminarraum 6 Oskar-Morgenstern-Platz 1 1.Stock

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: Englisch

Prüfungstermine

Lehrende

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

  • Dienstag 01.10. 09:45 - 11:15 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 03.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 08.10. 09:45 - 11:15 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 10.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 15.10. 09:45 - 11:10 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 17.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 22.10. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 24.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 29.10. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 31.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 05.11. 11:30 - 13:00 Seminarraum 14 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 07.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 12.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 14.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 19.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 21.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 26.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 28.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 03.12. 11:30 - 13:00 Seminarraum 1 Oskar-Morgenstern-Platz 1 Erdgeschoß
  • Donnerstag 05.12. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 10.12. 11:30 - 13:00 Seminarraum 1 Oskar-Morgenstern-Platz 1 Erdgeschoß
  • Donnerstag 12.12. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 17.12. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 07.01. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 09.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 14.01. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 16.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Donnerstag 23.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Dienstag 28.01. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The main objective of this course is to cover the basics of first order logic, including soundness and completeness.

Art der Leistungskontrolle und erlaubte Hilfsmittel

The final exam will test your knowledge of the material covered in the lecture, as well as your ability to apply it to basic problems. I will assign weekly problem sets. Even though your solutions will not go into your course grade, I strongly recommend to work out the problems in order to make sure that you really understand the material. You are also encouraged to sign up for the course's discussion session, where the problem sets will be discussed.

Mindestanforderungen und Beurteilungsmaßstab

The course grade will be solely determined by the written final exam. The minimal threshold for passing the class is 50/100.

Prüfungsstoff

The final exam will cover the material discussed in the lecture. You will need to be able to apply this material to solve basic problems.

Literatur

Herbert B. Enderton "A mathematical introduction to logic"
Lou van den Dries "Tame topology and o-minimal structures"
Philipp Rothmaler "Introduction to model theory"
J.-L. Krivine "Théorie des ensembles"

Zuordnung im Vorlesungsverzeichnis

LOG

Letzte Änderung: Do 16.01.2025 10:26