Einfacher Schließen mit Horn-Logik
Автор: Prof. Markus
Загружено: 2021-01-28
Просмотров: 1537
Описание:
Kann aussagenlogisches Schließen auch effizient gelingen? Bisher benötigen alle unsere Algorithmen im schlimmsten Fall exponentiell viel Zeit. Aber nicht jeder praktisch wichtige Fall ist gleich der schlimmste und wir können sogar eine große Klasse von logischen Formeln bestimmen, für die wir polynomielles Verhalten garantieren können. Dieser Weg führt zur Horn-Logik.
► Playliste für diesen Videokurs: • Automaten und Sprachen (B.Sc.-Niveau)
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/FS... (24. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Fo...
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/FormaleSys...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
