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.609 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, UE, 1.5h, 3.0EC

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 1.5
  • ECTS: 3.0
  • Typ: UE Übung
  • 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.

Diese Übung begleitet die gleichnamige Vorlesung.

Literatur: W. Hodges, Model theory

Inhalt der Lehrveranstaltung

Die Modelltheorie untersucht Eigenschaften all jender Strukturen, welche eine bestimmte logische Theorie erfüllen. Wir führen die LVA "Einführung in die Modelltheorie" fort. Ziel ist der Beweis des Satzes von Morley über überabzählbar kategorische Theorien.

Methoden

Übungen.

Prüfungsmodus

Prüfungsimmanent

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:15 - 17:1502.03.2022 - 29.06.2022 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
AKLOG Modelltheorie II - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.02.03.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.09.03.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.16.03.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.23.03.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.30.03.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.06.04.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.27.04.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.04.05.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.11.05.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.18.05.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.25.05.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.01.06.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.08.06.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.15.06.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.22.06.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.29.06.202216:15 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2

Leistungsnachweis

Laufende Beurteilung.

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