104.601 AKLOG Einführung in die Modelltheorie

2024S, VO, 1.0h, 1.5EC

LVA-Bewertung

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
Do.13:00 - 14:0007.03.2024 - 27.06.2024Sem.R. DB gelb 07 Einführung in die Modelltheorie
AKLOG Einführung in die Modelltheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.07.03.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.14.03.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.21.03.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.11.04.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.18.04.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.25.04.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.02.05.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.16.05.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.23.05.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.06.06.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.13.06.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.20.06.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie
Do.27.06.202413:00 - 14:00Sem.R. DB gelb 07 Einführung in die Modelltheorie

Leistungsnachweis

Mündliche Prüfung.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.10:30 - 18:0001.07.2024 Büro Pinsker FH 5. Stock grünmündlich23.05.2024 16:00 - 24.06.2024 12:00in TISSMündlich Pinsker

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