Mathematische Logik: Vorlesung 22 (Mi, 19.07.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:07:56
Einbettung ML in FO
00:27:35
5.2 Bisimulation
00:48:36
Bisimulationsspiel