Mathematische Logik II: CTL und PDL (Mo, 15.01.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:05:44
Computation Tree Logic
00:16:30
Alternationsfreier µ-Kalkül
00:23:48
Propositional Dynamic Logic
00:39:20
Auswerten von Schaltkreisen
00:52:58
Simultaner µ-Kalkül