Contact
Comment faire ses achats
Livraison
Guide d'achat
Reduktionssysteme
Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
Allemand
135 b
Livraison à Autriche
Jusqu'à 30 jours pour les retours
Les clients ont également acheté
/
Livre de poche
29.59
€
/
Livre de poche
19.69
€
/
Livre de poche
38.79
€
/
Livre de poche
23.09
€
/
Livre de poche
33.59
€
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.
À propos du livre
Allemand
Catégories
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataireCeci pourrait également vous intéresser
/
Livre de poche
59.90
€
/
Livre de poche
16.00
€
/
Livre relié
123.99
€
/
Livre de poche
18.00
€
/
Livre de poche
46.79
€
/
Livre relié
12.19
€
/
Livre de poche
10.89
€
Bonjour ! Je suis Libroamiko, votre conseiller littéraire.
Comment puis-je vous aider ?