Termersetzungssysteme

Sold by Ingram

This product may not be approved for your region.
Paperback
  • Free Shipping

    On orders of AED 100 or more. Standard delivery within 5-15 days.
  • Free Reserve & Collect

    Reserve & Collect from Magrudy's or partner stores accross the UAE.
  • Cash On Delivery

    Pay when your order arrives.
  • Free returns

    See more about our return policy.
Termersetzungssysteme sind ein machtiges Werkzeug mit Einsatzmoglichkeiten 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-Vervollstandigung 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 Moglichkeiten zu deren Anwendung eingegangen.