Algorithmische Modelltheorie: Vorlesung (Di, 08.10.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:01:28
Das klassische Entscheidungsproblem
00:12:21
Grundbegriffe über Entscheidbarkeit
00:58:43
Rekursive Untrennbarkeit
01:06:32
Verfeinerungen von H-epsilon
01:09:03
Satz (paarweise rekursive Untrennbarkeit von Hε⁺, Hε⁻, Hε^∞)