Advertisement

Automatisches Beweisen

Chapter
  • 30 Downloads
Part of the Programmieren von Mikrocomputern book series (PROMIK, volume 29)

Zusammenfassung

Im Automatischen Beweisen stellt man sich die Frage, ob eine gegebene Formel der Prädikatenlogik aus gewissen vorausgesetzten Formeln ableitbar ist. Dabei interessiert man sich für solche Ableitungs- oder Inferenzverfahren, die für eine Implementierung auf einem Rechner geeignet sind. Ausgehend von der betrachteten Formel zeigt das Inferenzverfahren im Falle der Ableitbarkeit die logische Zurückführung auf die Voraussetzungen oder Annahmen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1988

Authors and Affiliations

There are no affiliations available

Personalised recommendations