Mathematische Logik II: (Mo, 11.12.2023)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden

Kapitel:

00:00:40
Existenzielle Amalgamation
00:20:21
Satz von Łoś-Tarski
00:33:51
κ-Saturiertheit
00:41:41
Satz von van Benthem
01:00:07
Bisimulationsinvarianz