Grundlagen Des Maschinellen Beweisens - Eine Einfuhrung Fur Informatiker Und Mathematiker (German, Paperback, 2nd 2., Verb. Aufl. 1991 ed.)

Dieses Buch ist ein Lehrbuch, das prazise 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 koennen.Ausgehend von der Pradikatenlogik werden theoretische Konzepte und Strategien fur automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution uber die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkul stellt ein handwerkliches Regelsystem fur die allgemeine Pradikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermoeglicht, die Gleichheitsrelation adaquat behandeln zu koennen. (, Ersetzen von Gleichem durch Gleiches); schliesslich wird mit der ausfuhrlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.

General

Imprint:	Springer Vieweg
Country of origin:	Germany
Release date:	October 1991
As told to:	Dieter Hofbauer
Authors:	Ralf-Detlef Kutsche
Dimensions:	244 x 170 x 10mm (L x W x T)
Format:	Paperback - Trade
Pages:	174
Edition:	2nd 2., Verb. Aufl. 1991 ed.
ISBN-13:	978-3-528-14718-1
Languages:	German
Subtitles:	German
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general
LSN:	3-528-14718-0
Barcode:	9783528147181

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!