Termersetzungssysteme Theorie, Implementierung, Anwendung [Paperback]

Termersetzungssysteme sind ein m?chtiges Werkzeug mit Einsatzm?glichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term. Mit Termen, Termgleichungen und Termregeln lassen sich sehr elegant Sachverhalte aus den unterschiedlichsten Anwendungsgebieten spezifizieren, berechnen und beweisen. So werden in diesem Buch insbesondere verschiedene Verfahren zum maschinellen Beweisen von Gleichungen entwickelt: Unifikation, Knuth-Bendix-Vervollst?ndigung und automatische Induktionsbeweiser. Ein wichtiges Paradigma, das sich durch alle Ebenen des Buches zieht, ist das regelbasierte Rechnen. Es begegnet uns sowohl bei der Darstellung der Algorithmen als auch bei der Anwendung von Termersetzungssystemen. Neben der Vermittlung der theoretischen Grundlagen der vorgestellten Verfahren wird auch gezielt auf Methoden zu deren Implementierung und M?glichkeiten zu deren Anwendung eingegangen.Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakult?t f?r Informatik der Universit?t T?bingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern k?nnte dieses Buch aber auch f?r alle, die sich mit formalen Systemen besch?ftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einf?hrung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei? nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verst?ndnis der Pr?dikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im NebenfachlN