- EAN13
- 9782364935303
- ISBN
- 978-2-36493-530-3
- Éditeur
- Cépaduès
- Date de publication
- 17/02/2016
- Nombre de pages
- 270
- Dimensions
- 24 x 17 x 1,4 cm
- Poids
- 475 g
- Langue
- français
- Fiches UNIMARC
- S'identifier
Logique Combinatoire et (lambda)-Calcul
Des logiques d'opérateurs
De Gaëll Guibert, Jean-Pierre Desclès
Cépaduès
Offres
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 l-calcul de Church. Alors que le l-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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
L'analogie de la sagesse, unique étante, mia ousa, Méthodes de calcul des concepts, à partir de sa richesse incalculable, trésor inépuisable...Gaëll Guibert, Benoît SauzayGenttiana35,00
-
La triple chaîne prédicative, Analogies biologiques et structures mathématiques pour un génotexteGaëll GuibertPeter Lang
-
YHWD descend: je suis celui qui tombera, Enquête linguistique dans les textes bibliquesGaëll GuibertL'Harmattan56,00
-
Annotations automatiques et recherche d'informationJean-Pierre Desclès, Florence Le PriolHermès science publications