Algorithmische Modelltheorie: Vorlesung (Mo, 16.12.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:42:22
Definition (Fixpunktlogik mit Zählen FPC)
00:42:28
7. Fixpunktlogik mit Zählen
00:58:34
Beispiele (FO+C)
01:04:09
Definition (Fixpunktlogik mit Zählen FPC)
01:12:45
Beispiel (FPC)
01:22:47
Kommentar