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

2019W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage......

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

After successful completion of the course students will have a basic understanding of interactions of mathematical logic with computational complexity. They will unterstand the fundamentals of computation, be able to formalize computation and translate logical descriptions of computational problems into algorithms and vice-versa.

Inhalt der Lehrveranstaltung

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

Methoden

The subject is presented on the blackboard.

Prüfungsmodus

Mündlich

Weitere Informationen

Literatur: L. Libkin, Elements of finite model theory

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

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.16:00 - 17:0003.10.2019Sem.R. DA grün 05 Vorbesprechung
Do.13:30 - 15:0010.10.2019 - 30.01.2020 Besprechungsraum FH 5. Stock grünLecture
AKALG Endliche Modelltheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.03.10.201916:00 - 17:00Sem.R. DA grün 05 Vorbesprechung
Do.10.10.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.17.10.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.24.10.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.31.10.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.07.11.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.14.11.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.21.11.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.28.11.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.05.12.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.12.12.201913:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.09.01.202013:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.16.01.202013:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.23.01.202013:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture
Do.30.01.202013:30 - 15:00 Besprechungsraum FH 5. Stock grünLecture

Leistungsnachweis

An oral exam is held at the end of the semester.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlagen der Logik oder der allgemeinen Algebra.

Begleitende Lehrveranstaltungen

Sprache

Deutsch