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.

2022S, VU, 2.0h, 3.0EC
TUWEL

Merkmale

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

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
Do.13:00 - 13:3003.03.2022 https://tuwien.zoom.us/j/98040878882?pwd=R01PNEhrSUV0R3RjWHFQNUdOTUd3Zz09 (LIVE)Vorbesprechung
Do.13:00 - 15:3005.05.2022 - 02.06.2022 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Advanced Mathematical Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.03.03.202213:00 - 13:30 https://tuwien.zoom.us/j/98040878882?pwd=R01PNEhrSUV0R3RjWHFQNUdOTUd3Zz09Vorbesprechung
Do.05.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Do.12.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Do.19.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Do.02.06.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic

Leistungsnachweis

Zwei Hausarbeiten, je 6-7 Beispiele.

LVA-Anmeldung

Von Bis Abmeldung bis
22.02.2022 00:00 19.05.2022 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
860 GW Gebundene Wahlfächer - Technische Mathematik Gebundenes Wahlfach

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