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 Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (14. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Logische Grundbegriffe verstehen mit ein bisschen Modelltheorie
No video
Пікірлер: 1