Lehrinhalte
Unterschiede zwischen klassischer und endlicher Modelltheorie, wo einschlaegige klassische Techniken und Resultate versagen; modelltheoretische Spiele und die Ehrenfeucht-Fraisse Methode, Definierbarkeit und Lokalität (Hanf und Gaifman); 0-1-Gesetze (Fagin); zentrale Resultate der deskriptiven Komplexitätstheorie (Fagin, Immerman-Vardi, Abiteboul-Vianu)
Literatur
Ebbinghaus, Flum: Finite Model Theory
Grädel et al.: Finite Model Theory and Its Applications
Libkin: Elements of Finite Model Theory
Skript (elektronisch unterhttp://www.mathematik.tu- darmstadt.de/~otto)
Voraussetzungen
empfohlen: Introduction to Mathematical Logic
Alternativ für Studierende der Informatik: Aussagenlogik und Prädikatenlogik
Online-Angebote
moodle
Unterschiede zwischen klassischer und endlicher Modelltheorie, wo einschlaegige klassische Techniken und Resultate versagen; modelltheoretische Spiele und die Ehrenfeucht-Fraisse Methode, Definierbarkeit und Lokalität (Hanf und Gaifman); 0-1-Gesetze (Fagin); zentrale Resultate der deskriptiven Komplexitätstheorie (Fagin, Immerman-Vardi, Abiteboul-Vianu)
Literatur
Ebbinghaus, Flum: Finite Model Theory
Grädel et al.: Finite Model Theory and Its Applications
Libkin: Elements of Finite Model Theory
Skript (elektronisch unterhttp://www.mathematik.tu- darmstadt.de/~otto)
Voraussetzungen
empfohlen: Introduction to Mathematical Logic
Alternativ für Studierende der Informatik: Aussagenlogik und Prädikatenlogik
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: WiSe 2018/19