Résumé
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.
Sommaire :
Substitution et beta-conversion. Représentation des fonctions récursives. Types avec intersection. Typage des termes normalisables. Le théorème de Bohm. Logique combinatoire. Modèles du lambda calcul. Le système f. Arithmétique fonctionnelle du second ordre. Fonctions représentables dans le système f.
S'adresse aux 2e et 3e cycles de mathématiques et logique ; 3e cycle et chercheurs en informatique théorique.
Sommaire :
Substitution et beta-conversion. Représentation des fonctions récursives. Types avec intersection. Typage des termes normalisables. Le théorème de Bohm. Logique combinatoire. Modèles du lambda calcul. Le système f. Arithmétique fonctionnelle du second ordre. Fonctions représentables dans le système f.
S'adresse aux 2e et 3e cycles de mathématiques et logique ; 3e cycle et chercheurs en informatique théorique.
L'auteur - Jean-Louis Krivine
Jean-Louis Krivine est professeur à l'Université Paris 7, spécialiste de géométrie algébrique réelle, d'analyse fonctionnelle, de logique et d'informatique théorique. Il a créé, en 1982, l'équipe de logique mathématique, qui est l'un des plus importants laboratoires au monde dans ce domaine. Lauréat de l'Académie des Sciences en 1994 et Prix du Rayonnement français en 2004, il est l'auteur de plusieurs ouvrages de référence en logique.
Autres livres de Jean-Louis Krivine
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Elsevier-Masson |
| Auteur(s) | Jean-Louis Krivine |
| Parution | 10/04/1990 |
| Nb. de pages | 184 |
| EAN13 | 9782225820915 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
