Grundlagen des maschinellen Beweisens von Hofbauer,  Dieter, Kutsche,  Ralf-Detlef

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution über die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkül stellt ein handwerkliches Regelsystem für die allgemeine Prädikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermöglicht, die Gleichheitsrelation adäquat behandeln zu können. (,, Ersetzen von Gleichem durch Gleiches“); schließlich wird mit der ausführlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.

> findR *
Produktinformationen

Grundlagen des maschinellen Beweisens online kaufen

Die Publikation Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker von , ist bei Vieweg & Teubner erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Handwerk, Informatik, Logik, Maschine, Mathematik, Prädikatenlogik erster Stufe, Programmierung, Resolution, Schnittregel, Systeme, Termersetzung, Termersetzungssystem, Theorembeweisen, Verfahren, Vollständigkeit. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 44.99 EUR und in Österreich 46.26 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!