Reduktionssysteme

Name: Reduktionssysteme
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540585596
Price: 50.34 EUR
Availability: InStock

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Autor: J. Avenhaus

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

50.34 €

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte...

Informácie o knihe

Autor

J. Avenhaus

Jazyk

Nemčina

Väzba

Kniha - Brožovaná

Vydalo

1995

Stránok

261

EAN

9783540585596

ISBN

3540585591

Enbook ID

06809239

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

410

Rozmery

155 x 235 x 14

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež