104.602 AKLOG Einführung in die Modelltheorie

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

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
No records found.

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse der mathematischen Logik.

Sprache

Deutsch