Articles liés à Logique combinatoire et lambda calcul : des logiques...

Logique combinatoire et lambda calcul : des logiques d'opérateurs - Couverture souple

Desclés, Jean-Pierre; Guibert, Gaëll; Sauzay, Benoit

 
9782364935303: Logique combinatoire et lambda calcul : des logiques d'opérateurs
Couverture souple
ISBN 10 : 236493530X ISBN 13 : 9782364935303
Editeur : Cepadues, 2016

Synopsis


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 -calcul de Church. Alors que le -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.

Mots clés : Logique Combinatoire, -calcul, types fonctionnels, paradoxe, opérateur, opération, fonction, formalisme applicatif, combinateur, prédicat, Church-rosser.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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 -calcul de Church. Alors que le -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.
Mots clés : Logique Combinatoire, -calcul, types fonctionnels, paradoxe, opérateur, opération, fonction, formalisme applicatif, combinateur, prédicat, Church-rosser.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cepadues
Date d'édition
2016
Langue
français
ISBN 10 
236493530X
ISBN 13 
9782364935303
Reliure
Broché
Nombre de pages
270
Coordonnées du fabricant
non disponible
Personne responsable
Cépaduès
33561405736
cepadues@cepadues.com

111 Rue Nicolas Vauquelin
CEPADUES
Toulouse
31100
France