Mathematische Logik: Vorlesung 02

Mathematische Logik: Vorlesung 02 (Mi, 26.04.2017)

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

Anmelden

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

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