Logik höherer Ordnung (und Datalog)
Автор: Prof. Markus
Загружено: 2021-07-12
Просмотров: 1084
Bisher haben wir Prädikatenlogik erster Stufe kennengelernt. In diesem Video erkläre ich kurz, was Prädikatenlogik zweiter Stufe ist und wozu diese Erweiterung nützlich sein kann. Dabei sehen wir auch, wie man durch diese Erweiterung auch Datalog-Programme wieder natürlich als logische Formeln auffassen kann, für die wir bei der Anfragebeantwortung ein logisches Auswertungsproblem (Model Checking) auf einer endlichen Interpretation (Datenbank) lösen.
► Playliste für diesen Videokurs: • Theoretische Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (22. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
