Reduktionssysteme di Jürgen Avenhaus edito da Springer Berlin Heidelberg
Alta reperibilità

Reduktionssysteme

Rechnen und Schließen in gleichungsdefinierten Strukturen

EAN:

9783540585596

ISBN:

3540585591

Pagine:
264
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione 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 grundlegender Eigenschaften. Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.

Spedizione gratuita
€ 76.48
o 3 rate da € 25.49 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Reduktionssysteme
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti