Mathematische Logik: Vorlesung 06 (Mi, 10.05.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

1.5 Aussagenlogische Resolution
1.6 Der aussagenlogische Sequenzenkalkül

Kapitel:

00:00:06
Wdh. Resolution
00:07:32
Resolutionssatz
00:37:35
Einheitsresolution für Horn-Formeln
00:59:39
Sequenzenkalkül