Mathematische Logik: Vorlesung (Mi, 19.04.2023)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:23
Kompaktheitssatz (AL)
00:04:13
Graph-Färbung: Anwendung Kompaktheitssatz (AL)
00:25:40
Aussagenlogische Resolution
00:53:21
Korrektheit der Resolution