04-00-0230-vu Finite Model Theory

Veranstaltungsdetails

Lehrende: Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Finite Model Theory

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

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

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Finite Model Theory Übung

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi

    Do, 18. Okt. 2018 [09:50]-Do, 14. Feb. 2019 [11:30]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Fr, 19. Okt. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
2 Fr, 26. Okt. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
3 Fr, 2. Nov. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
4 Fr, 9. Nov. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
5 Fr, 16. Nov. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
6 Fr, 23. Nov. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
7 Fr, 30. Nov. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
8 Fr, 7. Dez. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
9 Fr, 14. Dez. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
10 Fr, 21. Dez. 2018 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
11 Fr, 18. Jan. 2019 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
12 Fr, 25. Jan. 2019 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
13 Fr, 1. Feb. 2019 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
14 Fr, 8. Feb. 2019 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
15 Fr, 15. Feb. 2019 09:50 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Lehrende
Prof. Dr. rer. nat. Martin Otto
M.Sc. Felix Canavoi