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.

2024S, 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
Do.14:00 - 15:0007.03.2024 - 27.06.2024Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
AKLOG Einführung in die Modelltheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.07.03.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.14.03.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.21.03.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.11.04.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.18.04.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.25.04.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.02.05.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.16.05.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.23.05.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.06.06.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.13.06.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.20.06.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE
Do.27.06.202414:00 - 15:00Sem.R. DB gelb 07 Einführung in die Modelltheorie, UE

Leistungsnachweis

Laufende Beurteilung.

LVA-Anmeldung

Von Bis Abmeldung bis
14.03.2024 14:00 31.03.2024 12:00 31.03.2024 12:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse der mathematischen Logik.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Deutsch