Termersetzungssysteme

af


Termersetzungssysteme
  • Leveringstid 5-7 hverdage
  • Forventet levering 17-12-2019
  • Kan leveres før jul
Format:
Bog, paperback
Udgivelsesdato:
16-01-1998
Sprog:
Tysk
Udgave:
1998 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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.

Vis mereVis mindre

Udgivelsesdato:
16-01-1998
ISBN13:
9783528056520
Vægt:
419 g
Dybde:
13 mm
Bredde:
170 mm
Højde:
244 mm
Format:
Paperback

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.