Mathematische Logik: Vorlesung 02 (Mi, 26.04.2017)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

1.1 Syntax und Semantik der Aussagenlogik
1.2 Boolesche Funktionen und Normalformen
1.3 Horn-Formeln

Kapitel:

00:00:00
Organisatorisches
00:02:10
Wdh. Syntax und Semantik
00:14:02
Boolesche Funktionen
00:31:32
Normalformen
00:45:00
Funktionale Vollständigkeit
01:02:53
Horn-Formeln