Mathematische Logik: Normalformen / SAT (Di, 16.04.2024)

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:00:00
Wiederholung
00:05:11
Negationsnormalform (NNF)
00:22:51
DNF und KNF
00:32:23
Satz über DNF und KNF
00:46:12
Boolesche Funktionen
01:00:24
Funktional vollständige Junktorenmengen
01:08:48
1.5 Erfüllbarkeitsalgorithmen
01:20:42
Der DPLL Algorithmus