Mohlo by sa vám tiež páčiť

Viac informácií o knihe Reduktionssysteme

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 126 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Reduktionssysteme
• Podnázov: Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
• Autor: J. Avenhaus
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 261
• EAN: 9783540585596
• ISBN: 3540585591
• ID: 06809239
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 410 g
• Rozmery: 235 × 155 × 14 mm
• Dátum vydania: 06. March 1995

Obľúbené z iného súdka

---

---

---