Im zweiten Teil der Vorlesung zu Gleichheit in der Prädikatenlogik wollen wir noch beweisen, dass man Gleichheit wirklich wie behauptet mit Hilfe andere Formeln simulieren kann. Dabei verwenden wir strukturellen Induktion, eine nützliche Beweistechnik in der Logik und überall sonst, wo man mit geschachtelten Objekten (wie z.B. Formeln) zu tun hat.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (15. 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
Негізгі бет Logisch Schließen mit Gleichheit (Teil 2)
Пікірлер