Ebook: Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen

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.

---

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.

---

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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-8
Abstrakte Reduktionssysteme....Pages 9-41
Wortersetzungssysteme....Pages 43-75
Termersetzungssysteme....Pages 77-160
Termersetzung modulo einer Kongruenz....Pages 161-211
Ausblick....Pages 213-214
Back Matter....Pages 215-251

---

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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-8
Abstrakte Reduktionssysteme....Pages 9-41
Wortersetzungssysteme....Pages 43-75
Termersetzungssysteme....Pages 77-160
Termersetzung modulo einer Kongruenz....Pages 161-211
Ausblick....Pages 213-214
Back Matter....Pages 215-251
....