Universität Wien

250134 VO Introduction to Mathematical logic (2023S)

6.00 ECTS (4.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: Englisch

Prüfungstermine

Lehrende

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

  • Mittwoch 01.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 06.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 08.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 15.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 20.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 22.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 27.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 29.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 17.04. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 19.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 24.04. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 26.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 03.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 08.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 10.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 15.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 17.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 22.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 24.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 31.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 05.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 07.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 12.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 14.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 19.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Mittwoch 21.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Montag 26.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The class is an introduction to mathematical logic. The material covered will include completeness of first order logic, Gödel's incompleteness theorems, some basics of model theory, recursion theory and set theory.

Art der Leistungskontrolle und erlaubte Hilfsmittel

There will be a final exam during the last lecture on June 28, 2023. A couple exam dates will be announced later, to take place during WS 2023.

Mindestanforderungen und Beurteilungsmaßstab

Pass the final exam.

Prüfungsstoff

For the final exam you will need to know the material covered in the lecture and be able to apply it. I will regularly assign problems that will help you deepen your understanding of the material. You should expect similar problems to appear on the final.

Literatur

A major part of the course will follow the book "A first journey through logic" by M. Hils and F. Loeser:
https://webusers.imj-prg.fr/~francois.loeser/stml089.pdf

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Mo 11.12.2023 13:46