Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Solving Higher-Order Equations

Name: Solving Higher-Order Equations
Brand: Springer, Basel
SKU: 02232796
Price: 107.29 EUR
Availability: InStock
Author: Christian Prehofer
ISBN: 9781461272786

From Logic to Programming

Christian Prehofer

Langue

Anglais

Livre Livre de poche

Code Libristo: 02232796

Éditeurs Springer, Basel, octobre 2012

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expres... Description détaillée

Code Libristo: 02232796

263 b

107.29 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Tabu Ferdinand von Schirach

Livre de poche

12.00 €

INTENTOS ESPIRITUALES-- AL LADO DE ANTONIO SOSA QUINTANA

Livre de poche

18.29 €

Versicherungsenzyklopadie Walter Grosse

Livre de poche

55.29 €

Opracowanie i ocena elektronicznego systemu pozyskiwania danych Gladimir Pinto da Silva

Livre de poche

25.29 €

probabilistische Revolution in der Literatur Bernhard Kehler

Livre de poche

39.99 €

Sache mit der Eitelkeit Karin Kirwa

Livre de poche

8.90 €

Schamanismus der Seele Bianka Denise Albrecht

Livre relié

19.90 €

Tan-Tan Therapy (Remastered) Tenniscoats

CD Audio

26.19 €

Blue Lock n? 07 KANESHIRO

Livre de poche

12.79 €

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.