Mathematische Logik II: µ-Kalkül (Di, 09.01.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden

Kapitel:

00:56:13
Negationsnormalform
01:02:17
Einbettungen von Lµ
01:14:09
Einbettung von Lµ in infinitäre Modallogik