Logische Grundbegriffe verstehen mit ein bisschen Modelltheorie
Автор: Prof. Markus
Загружено: 2021-06-14
Просмотров: 1726
Die Semantik der Prädikatenlogik ergibt sich aus der Beziehung von Formeln zu Modellen (Interpretationen). Viele wichtige Begriffe der Logik beruhen auf so einer Erfüllungsrelation, egal wie diese im Detail definiert wurde. Dieses Video erklärt, wie man sich das allgemein viorstellen kann und wendet das Prinzip zur Lösung einer frühern Logelei an.
► Playliste für diesen Videokurs: • Theoretische Informatik und Logik (B.Sc.-N...
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (14. 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
-
Информация по загрузке:
