Der Resolutionssatz stellt die Vollständigkeit und Korrektheit des im letzten Video vorgestellten Algorithmus fest. Ihn zu beweis, wird noch einige Videos in Anspruch nehmen. Die Korrektheit ist dabei der vergleichweise einfache Teil, den wir schon in diesem kurzen Video zeigen können.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (19. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Korrektheit der Resolution
Пікірлер