Die wichtigste Neuigkeit beim prädikatenlogischen Schließen im Vergleich zur Aussagenlogik sind die neu hinzugekommenen Terme (aus Variablen, Konstanten und Funktionen). Um mit ihnen logische Schlüsse zu ziehen, müssen wir manchmal Variablen ersetzen (substituieren) damit Terme und letztlich Atome gleich gemacht (unifiziert) werden. Die Grundlagen dazu erklärt dieses Video.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (18. 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
Негізгі бет Substitutionen und Unifikation
Пікірлер: 1