104.601 AKLOG Einführung in die Modelltheorie
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021W, VO, 1.0h, 1.5EC

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, fortgeschrittene Fragestellungen der Modelltheorie zu verstehen und zu lösen. Die Modelltheorie ist eines der grundlegenden Teilgebiete der mathematischen Logik und behandelt den Zusammenhang logischer Theorien mit den mathematischen Strukturen, welche diese erfüllen.

Inhalt der Lehrveranstaltung

Eine Einführung in die Modelltheorie: Diese untersucht Eigenschaften all jener Strukturen, welche eine bestimmte logische Theorie erfüllen. Die Vorlesung wird von einer gleichnamigen Übung begleitet.

Methoden

Vortrag.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Literatur: W.Hodges, "Model theory"

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 17:0005.10.2021 - 25.01.2022FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
AKLOG Einführung in die Modelltheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.05.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.12.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.19.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.09.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.16.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.23.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.30.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.07.12.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.14.12.202116:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.11.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.18.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.25.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2021 12:00 30.10.2021 12:00

Curricula

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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse der mathematischen Logik.

Sprache

Deutsch