Mathematische Logik II: Arithmetische Fixpunktlogik (Mo, 08.01.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden

Kapitel:

00:18:50
Satz von Knaster und Tarski
00:28:30
Induktive Konstruktion von Fixpunkten
00:47:03
Duale Operatoren
01:03:49
Modaler µ-Kalkül