Lambda-calcul, types et mod�les [Broch�]

Jean-Louis Krivine (Auteur)

4.0 �toiles sur 5 Voir tous les commentaires (1 commentaire client)

Actuellement indisponible.
Nous ne savons pas quand cet article sera de nouveau approvisionn� ni s'il le sera.

Descriptions du produit

Présentation de l'éditeur

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.

D�tails sur le produit

Broch�: 176 pages
Editeur�: Dunod (1 d�cembre 1997)
Collection : Etudes et Recherches en Informatique
Langue : Fran�ais
ISBN-10: 2225820910
ISBN-13: 978-2225820915

Moyenne des commentaires client�: 4.0 �toiles sur 5 Voir tous les commentaires (1 commentaire client)

Classement des meilleures ventes d'Amazon: 932.980 en Livres (Voir les 100 premiers en Livres)
- n�55 dans Livres > �tudes sup�rieures > Universit� > Math�matiques > Math�matiques appliqu�es � l'informatique
Table des matières complète

Souhaitez-vous compl�ter ou am�liorer les informations sur ce produit ? Ou faire modifier les images?

Associer des mots-cl�s � ce produit

(De quoi s'agit-il ?)

Consid�rez votre mot-cl� comme une sorte d'�tiquette d�finissant parfaitement ce produit.
Les mots-cl�s aident les clients � organiser et trouver leurs articles favoris.

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

5 �toiles

4 �toiles

3 �toiles

2 �toiles

1 �toiles

1 commentaire

4.0 �toiles sur 5

Ecrire un commentaire client

Commentaires client les plus utiles

9 internautes sur 16 ont trouvé ce commentaire utile

Vraiment interressant 7 juillet 2003

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.

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.

Remarque sur ce commentaire |

Avez-vous trouvé ce commentaire utile ?

Oui

Non

› Voir le commentaire client

Ecrire un commentaire client

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }