Algorithmische Modelltheorie: Vorlesung (Di, 22.10.2019)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

00:00:06
Fortsetzung (FO² hat FMP)
00:35:26
Komplexität von Sat(FO²)
00:43:53
Domino(D,T)
00:54:40
Lemma (Reduktion von 2ⁿ-Domino auf FO² ∩ MFO ∩ „∀²∃“ ohne =)
01:25:34
Résumé (Entscheidungsproblem)