Diskrete Strukturen: Vorlesung (Fr, 11.10.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Aussagenlogik

Kapitel:

00:05:56
Mathematische Aussagen
00:13:13
Zusammengesetzte Aussagen
00:14:32
Wahrheitstafel und Logische Operatoren
00:42:09
Logische Terme
00:53:32
Logische Äquivalenz und Tautologien
01:04:11
Bedeutsame Tautologien
01:07:09
Aussageformen
01:15:48
Konventionen
01:21:01
Verwendung von logischen Symbolen