104.554 AKALG Endliche Modelltheorie, UE
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, 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......

As this course is given in English, please ignore above introductory words.

These exercises accompany the course of the same title, with the goal of deepening the students' understanding of the matter taught. Students will be able to formalize computation and design algorithms related to logical problems.

Inhalt der Lehrveranstaltung

A logical characterization of the complexity class NP, some (un-)definability results for finite structures, Gödel's incompleteness theorem and the undecidability of the halting problem for Turing machines.

Methoden

Übungsaufgaben werden gelöst.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Literatur: L. Libkin, Elements of finite model theory

http://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:30 - 17:1502.03.2022 - 29.06.2022 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
AKALG Endliche Modelltheorie, UE - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.02.03.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.09.03.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.16.03.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.23.03.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.30.03.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.06.04.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.27.04.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.04.05.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.11.05.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.18.05.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.25.05.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.01.06.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.08.06.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.15.06.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.22.06.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2
Mi.29.06.202216:30 - 17:15 Besprechungsraum des Instituts, Freihaus grün, 5. StockModelltheorie 2

Leistungsnachweis

Vortrag der Lösungen von Übungsbeispielen.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

The course is aimed at students with a basic knowledge of mathmatical logic or algebra.

Begleitende Lehrveranstaltungen

Sprache

Englisch