104.394 Advanced Mathematical Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, VU, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschnittene Beweise aus der Mathematischen Logik durchzuführen (vorwiegend in den Bereichen Modelltheorie und Berechenbarkeitstheorie).

Inhalt der Lehrveranstaltung

Die folgenden Themen werden in dieser LVA behandelt werden:

- Quantorenelimination
- Gödels Unvollständigkeitssätze
- Berechenbare Strukturen

Methoden

Vorlesung und Diskussion

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.10:00 - 10:3001.03.2021 https://tuwien.zoom.us/j/95093535054?pwd=Z0hKQ285ZWF1Z2hDL3Q2MFdsb0c5UT09AML Vorbesprechung
Mo.10:00 - 11:3026.04.2021 - 31.05.2021 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Advanced Mathematical Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.01.03.202110:00 - 10:30 https://tuwien.zoom.us/j/95093535054?pwd=Z0hKQ285ZWF1Z2hDL3Q2MFdsb0c5UT09AML Vorbesprechung
Mo.26.04.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mo.03.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mo.10.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mo.17.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mo.31.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture

Leistungsnachweis

Zwei Hausarbeiten, je 6-7 Beispiele.

LVA-Anmeldung

Von Bis Abmeldung bis
23.02.2021 00:00 11.04.2021 23:59

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Kenntnis der grundlegenden Begriffe der mathematischen Logik (Syntax, Semantik, first-order, propositional, Grundbegriffe der Berechenbarkeitstheorie) werden vorausgesetzt. Es wird empfohlen (aber nicht erforderlich), die LVA Theorie der Berechenbarkeit vorher zu absolvieren.

Sprache

bei Bedarf in Englisch