Contact
How to shop
Delivery
Shopping guide
Reduktionssysteme
Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
German
126 b
30-day return policy
Customers also purchased
/
Paperback
37.32
€
/
Paperback
28.72
€
/
Paperback
22.35
€
/
Paperback
32.06
€
/
Paperback
45.62
€
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften.§Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.
About the book
German
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
119.18
€
/
Paperback
13.55
€
/
Hardback
11.73
€
/
Paperback
10.51
€
