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

250168 VO Introduction to mathematical logic (2019S)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

In the short term, the courses could take place at the Josephinum. If you have any questions, please contact your lecturer.

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

Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101).

  • Freitag 01.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 07.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 08.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 14.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 15.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 21.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 22.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 28.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 29.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 04.04. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 05.04. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 11.04. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 12.04. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 02.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 03.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 09.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 10.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 16.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 17.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 23.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 24.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 31.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 06.06. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 07.06. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 13.06. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 14.06. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 21.06. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This lecture will be an introduction to different areas of
mathematical logic and their connections. We start with a review of
formulas and structures and introduce the method of ultrapower
construction. This will lead us to a closer look into the area of
model theory which we will augment with the study of types and the
structure of countable models. Moreover we will study classical games
which are used in model theory and are related to set
theory. Afterwards we will prove Gödel's first
incompleteness theorem in full generality.

This lecture will be self-contained. Nevertheless some familiarity
with the contents of the lecture "Grundzüge der mathematischen
Logik" (e.g. see https://muellersandra.github.io/teaching/grundzuege-2018/) might be helpful.

More information: https://muellersandra.github.io/teaching/introduction-to-mathematical-logic-sose-2019/

Art der Leistungskontrolle und erlaubte Hilfsmittel

Oral exam by appointment.

Mindestanforderungen und Beurteilungsmaßstab

See above. To take the oral exam it is necessary to enroll in the class by filling your name in the "Teilnehmerliste" within the first two weeks of the semester.

Prüfungsstoff

Contents of the lectures

Literatur

see website

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Fr 18.11.2022 00:23