Mohlo by se vám také líbit

Více informací o knize Reduktionssysteme

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 119 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Reduktionssysteme
• Podnázev: Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
• Autor: J. Avenhaus
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 261
• EAN: 9783540585596
• ISBN: 3540585591
• ID: 06809239
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 410 g
• Rozměry: 235 × 155 × 14 mm
• Datum vydání: 06. March 1995

Oblíbené z jiného soudku

---

---

---