Avis des lecteurs
Résumé:Ce livre est salué pour son contenu exhaustif sur le lambda calcul, avec une solide introduction, des galeries de photos utiles et des résultats de pointe qui inspirent les recherches futures. Cependant, certains utilisateurs ont rencontré des problèmes de qualité d'impression, et l'un d'entre eux a reçu un exemplaire manifestement piraté.
Avantages:⬤ Introduction détaillée
⬤ bon contenu mathématique
⬤ chapitres autonomes résumant les travaux antérieurs
⬤ résultats de pointe sur le lambda calcul
⬤ livraison rapide
⬤ bonne qualité d'impression (copies authentiques).
Certaines copies sont de mauvaise qualité, en particulier les versions pirates avec une impression floue et un papier de mauvaise qualité.
(basé sur 3 avis de lecteurs)
Titre original :
A Lambda Calculus Satellite
Contenu du livre :
En 1936, la notion de calculabilité intuitive a été opérationnalisée de deux manières différentes : via les machines de Turing et via le lambda-calcul. La différence consistait à manipuler des perles (bits) pour la première approche et à manipuler des arbres (réécriture de lambda-termes) pour la seconde. Les deux propositions se sont avérées formaliser la même notion de calculabilité et ont conduit à la thèse Church-Turing, qui affirme que la calculabilité intuitive est capturée de la bonne manière.
Cette thèse est à l'origine de la programmation impérative et fonctionnelle. Des variantes du lambda-calcul sont utilisées dans un autre domaine d'application puissant, à savoir la vérification des preuves, la base de la certification des théorèmes mathématiques et donc des produits industriels de haute technologie. Ces deux domaines de recherche sont toujours activement étudiés et font du lambda-calcul un outil majeur dans les étapes actuelles de la science et de la révolution industrielle.
Dans ce livre, le lambda-calcul est considéré sous un autre angle : comme une étude de ces structures arborescentes, examinant la relation entre leur forme et leur action. Cela revient à étudier les nombres d'un point de vue qualitatif, plutôt que de les utiliser pour traiter quantitativement des objets et des phénomènes dans le monde.
Le livre de Barendregt "The Lambda Calculus, its Syntax and Semantics" (1981/84), traite le sujet du même point de vue méthodologique et inclut plusieurs conjectures ouvertes. Au cours des quatre décennies écoulées, la plupart de ces conjectures - mais pas toutes - ont été résolues, parfois dans le cadre de thèses de doctorat ingénieuses. Ce "satellite" du livre susmentionné présente ces solutions dans un style uniforme et ajoute d'autres sujets d'intérêt.
Autres informations sur le livre :
| ISBN : | 9781848904156 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
