Mathematische Logik II: LFP (Di, 16.01.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden

Kapitel:

00:32:53
Beispiele LFP
00:54:20
Bisimulation
01:12:35
Einbettung in SO