Contacto
Cómo comprar
Entrega
Guía de compras
Reduktionssysteme
Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
Alemán
139 b
Política de devolución de 30 días
Clientes que también han comprado
/
Tapa blanda
38.79
€
/
Tapa blanda
29.59
€
/
Tapa blanda
24.09
€
/
Tapa blanda
35.49
€
/
Tapa blanda
47.99
€
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.
Sobre el libro
Alemán
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
17.39
€
/
Tapa dura
130.19
€
/
Tapa blanda
15.09
€
/
Tapa blanda
62.09
€
/
Tapa dura
11.79
€
/
Tapa blanda
10.89
€
