Reduktionssysteme

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

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Автор: J. Avenhaus

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 8-11 дни

53.19 € 104.02 лв

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

Информация за книгата

Автор

J. Avenhaus

Език

Немски език

Корици

Книга - С меки корици

Издадена

1995

страници

261

EAN

9783540585596

ISBN

3540585591

Enbook ID

06809239

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

410

Размери

155 x 235 x 14

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също