.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Reduktionssysteme
Jurgen Avenhaus
€ 83.23
FREE Delivery in Ireland
Description for Reduktionssysteme
Paperback. Series: Springer-Lehrbuch. Num Pages: 261 pages, 5 black & white illustrations. BIC Classification: PBC; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 410.
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung 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 Vervollstandigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften. Das Buch eignet sich fur eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Ubungsaufgaben wird die anschauliche, ubersichtliche Darstellung abgerundet.
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung 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 Vervollstandigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften. Das Buch eignet sich fur eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Ubungsaufgaben wird die anschauliche, ubersichtliche Darstellung abgerundet.
Product Details
Format
Paperback
Publication date
1995
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Language
German
Number of pages
261
Condition
New
Series
Springer-Lehrbuch
Number of Pages
251
Place of Publication
Berlin, Germany
ISBN
9783540585596
SKU
V9783540585596
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Reduktionssysteme