104.602 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, UE, 1.0h, 1.5EC

Merkmale

  • Semesterwochenstunden: 1.0
  • ECTS: 1.5
  • Typ: UE Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschrittene Fragestellungen der Modelltheorie zu verstehen und lösen. Die Modelltheorie ist eines der grundlegenden Teilgebiete der mathematischen Logik.

Inhalt der Lehrveranstaltung

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

Methoden

Übungsbeispiele lösen.

Prüfungsmodus

Prüfungsimmanent

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 18: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.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.12.10.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.19.10.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.09.11.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.16.11.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.23.11.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.30.11.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.07.12.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.14.12.202117:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.11.01.202217:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.18.01.202217:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie
Di.25.01.202217:00 - 18:00FH Hörsaal 2 AKLOG Einführung in die Modelltheorie

Leistungsnachweis

Laufende Beurteilung.

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