Prädikatenlogik mit endlichen Modellen
Автор: Prof. Markus
Загружено: 2021-07-09
Просмотров: 1232
Описание:
Wird Prädikatenlogik einfacher, wenn man statt der bisher vewendeten unendlichen Interpretationen nur noch endliche Interpretationen als Modell zulässt? Macht das überhaupt einen Unterschied für die Semantik? Und was hat das ganze mit Datenbanken zu tun? Diese Fragen sollen in diesem Video beantwortet werden. Wir lernen dabei auch den Satz von Trakhtenbrot kennen.
► Playliste für diesen Videokurs: • Theoretische Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (21. 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
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
