Um die Vollständigkeit der Resolution zu zeigen, wollen wir zunächst von den ziemlich allgemeinen und komplizierten Interpretationen der Prädikatenlogik zu einer einfacheren "syntaktischen" Art von Modellen wecheln: den Herbrandmodellen. Trotz ihrer sehr speziellen Form sind sie in der Lage, die Erfüllbarkeit von Formeln in Skolemform zu charakterisieren.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (19. 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
Bildrechte: Portrait Jacques Herbrand: Natasha Artin Brunswick, 1931, CC-By 3.0
Негізгі бет Herbrandmodelle
Пікірлер: 1