Reduktionssysteme
Produktnummer:
18f5664978d30f4d34a8a62eb6798bbd3f
| Autor: | Avenhaus, Jürgen |
|---|---|
| Themengebiete: | Abstrakte Datentypen Algebra Algebraische Semantik Assoziativgesetz Automatisches Beweisen Beweis Gleichung Knuth-Bendix-Vervollständigung Rechnen Reduktionssysteme |
| Veröffentlichungsdatum: | 06.03.1995 |
| EAN: | 9783540585596 |
| Sprache: | Deutsch |
| Seitenzahl: | 251 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | Rechnen und Schließen in gleichungsdefinierten Strukturen |
Produktinformationen "Reduktionssysteme"
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 von grundlegenden Eigenschaften.Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche und übersichtliche Darstellung abgerundet.Für Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der künstlichen Intelligenz.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen