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.

2020S, VU, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

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
Di.09:15 - 09:3003.03.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced Mathematical Logic - Vorbesprechung
Di.09:15 - 12:0005.05.2020 - 16.06.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Advanced Mathematical Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.202009:15 - 09:30 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced Mathematical Logic - Vorbesprechung
Di.05.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Di.12.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Di.19.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Di.26.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Di.09.06.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Di.16.06.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten

Leistungsnachweis

Zwei Hausarbeiten, je 6-7 Beispiele.

LVA-Anmeldung

Nicht erforderlich

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