Zum Lösen von Unifikationsproblemen gibt es einen einfachen Algorithmus, den wir in diesem Video kennenlernen. Wir beweisen außerdem, dass der Algorithmus wie gewünscht funktioniert und zeigen dadurch nebenbei, dass jedes lösbare Unifikationsproblem auch einen allgemeinsten Unifikator hat.
► 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
Негізгі бет Der Unifikationsalgorithmus
Пікірлер: 1