Contatto
Come acquistare
Consegna
Guida all'acquisto
Reduktionssysteme
Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
Tedesco
133 b
30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
38.79
€
/
In brossura
29.59
€
/
In brossura
23.09
€
/
In brossura
33.59
€
/
In brossura
47.19
€
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.
Informazioni sul libro
Tedesco
Categorie
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
16.39
€
/
Rigido
123.99
€
/
In brossura
14.29
€
/
In brossura
58.99
€
/
In brossura
10.89
€
