Le lambda-calcul typé suscite un grand intérêt en raison de ses rapports étroits avec des langages de programmation et du lien qu'il établit entre les notions de programmes et de preuve en logique intuitionniste.
Description de l'ouvrage
Détails sur le produit
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
|
Vendre une version numérique de ce livre dans la boutique Kindle.
Si vous êtes un éditeur ou un auteur et que vous disposez des droits numériques sur un livre, vous pouvez vendre la version numérique du livre dans notre boutique Kindle.
En savoir plus
Commentaires en ligne
Commentaires client les plus utiles
9 internautes sur 16 ont trouvé ce commentaire utile
Par Un client
Krivine est le père du nouveau point de vue sur la théorie
notamment sur les correspondances entre informatique et mathématique.
notamment sur les correspondances entre informatique et mathématique.
Hélas bien que le livre soit très complet, il manque le point culminant de la théorie c'est à dire la possible interprétation en psychologie ou en physiologie.
Un très bon ouvrage montrant l'étendue du lambda calcul et donnant une base solide qui mériterait une réédition avec un appendix dénotant les conséquences philosophiques des recherches de Krivine.
Listmania!
|
|
Rechercher des articles similaires par rubrique
- Livres > Informatique et Internet > Programmation et langages > Mathématiques
- Livres > Sciences, Techniques et Médecine > Mathématiques
- Livres > Études supérieures > Université > Langues et littératures étrangères
- Livres > Études supérieures > Université > Mathématiques > Livres de référence
- Livres > Études supérieures > Université > Mathématiques > Mathématiques appliquées à l'informatique
Commentaires
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
