Logique combinatoire et lambda calcul
Des logiques d'opérateurs
Jean-Pierre Desclès, Gaëll Guibert, Benoît Sauzay
Résumé
Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande. Elle est utilisée pour fournir des fondements logiques aux langages de programmation fonctionnels bien que la plupart des approches prennent appui sur le lambda-calcul de Church. Alors que le lambda-calcul fait appel à des variables liées pour formaliser la notion de fonction comme opérateur, la Logique Combinatoire n'utilise aucune variable liée, elle prend la notion d'opérateur comme première et apparaît de ce fait comme plus simple, conduisant à une véritable algèbre des opérateurs. Ainsi, il est plus facile d'analyser la sémantique des langues naturelles et les représentations cognitives et des connaissances, avec les outils formels (les combinateurs) et les types fonctionnels de La Logique Combinatoire.
L'auteur - Jean-Pierre Desclès
Jean-Pierre Desclès est professeur en informatique et linguistique à l'université de Paris-Sorbonne où il enseigne l'informatique linguistique, la linguistique théorique, la logique et l'ingénierie des langues en effectuant ses recherches dans ces domaines.
Autres livres de Jean-Pierre Desclès
L'auteur - Gaëll Guibert
Autres livres de Gaëll Guibert
L'auteur - Benoît Sauzay
Autres livres de Benoît Sauzay
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cépaduès |
| Auteur(s) | Jean-Pierre Desclès, Gaëll Guibert, Benoît Sauzay |
| Parution | 17/02/2016 |
| Nb. de pages | 270 |
| Format | 17 x 24 |
| Couverture | Broché |
| Poids | 475g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782364935303 |
| ISBN13 | 978-2-36493-530-3 |
Avantages Eyrolles.com
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 Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
