Mathematische Logik: Vorlesung 03 (Do, 27.04.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

1.3 Horn-Formeln
1.4 Kompaktheitssatz der Aussagenlogik

Kapitel:

00:00:00
Wdh. Horn-Formeln
00:08:37
Markierungsalgorithmus
00:17:51
Minimale Modelle
00:25:42
Kompaktheitssatz der AL