Herbrandexpansionen: Prädikatenlogik auf Aussagenlogik reduzieren
Автор: Prof. Markus
Загружено: 2021-07-06
Просмотров: 1362
Herbrands Idee von "Semantik durch Syntax" lässt sich weiter anwenden, um die Erfüllbarkeit prädikatenlogischer Formeln auf Aussagenlogik zu reduzieren. Außerdem erzähle ich noch die interessante Geschichte hinter der Fotografie Herbrands, welche ich schon im letzten Video gezeigt hatte.
► Playliste für diesen Videokurs: • Theoretische Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (20. 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
Bildrechte:
Portrait Jacques Herbrand: Natasha Artin Brunswick, 1931, CC-By 3.0
Portrait Natasha Artin Brunswick: Tom Artin, 2000, CC-By 3.0
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
