Achtung: Aufgrund von Wartungsarbeiten des BRZ-SAP Systems können im TISS derzeit Fehler auftreten. Die Wartungsarbeiten sind bis 27.06.2022 angesetzt. Vielen Dank für Ihr Verständnis.

104.608 AKLOG Modelltheorie II
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VO, 1.5h, 3.0EC

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 1.5
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, den Satz von Morley zu beweisen und fortgeschrittene Fragestellungen der Modelltheorie zu verstehen.

Literatur: W.Hodges, Model theory

Inhalt der Lehrveranstaltung

Die Modelltheorie untersucht Eigenschften all jener Strukturen, welche eine bestimmte logische Theorie erfüllen. Wir führen die LVA "Einführung in die Modelltheorie" fort. Zeil ist der Beweis des Satzes von Morley über überabzählbar kategorische Theorien. Die Vorlesung wird von einer gleichnamigen Übung begleitet.

Methoden

Vortrag.

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.15:00 - 16:1502.03.2022 - 29.06.2022 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
AKLOG Modelltheorie II - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.02.03.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.09.03.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.16.03.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.23.03.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.30.03.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.06.04.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.27.04.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.04.05.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.11.05.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.18.05.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.25.05.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.01.06.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.08.06.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.15.06.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.22.06.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.29.06.202215:00 - 16:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
01.02.2022 12:00 01.04.2022 12:00 30.06.2022 12:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch