Algorithmische Modelltheorie: Vorlesung (Mo, 28.10.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:08
2. Deskriptive Komplexität
00:15:29
Beispiele für Deskriptive Komplexität
00:26:34
Definition (∑¹₁)
00:31:35
Kodierung
00:56:47
Definitionen (logische Charakterisierung von Komplexitätsklassen auf Bereichen)
01:09:00
Satz (Fagin)
01:24:08
Ausblick