Logique combinatoire et lambda-calcul
facebook twitter

Logique combinatoire et lambda-calcul

des logiques d'opérateurs

de , ,

chez Cépaduès

Paru le | Broché 267 pages

Professionnels

Grand format Livre broché
22.00 Disponible - Expédié sous 6 à 10 jours ouvrés - COVID oblige
Ajouter au panier Frais de livraison

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.
Présentation de la logique combinatoire développée par Curry et de son utilisation pour fournir des fondements logiques aux langages de programmation fonctionnels. Les auteurs expliquent que la logique combinatoire, contrairement au lambda-calcul, ne fait pas appel aux variables liées mais prend la notion d'opérateur comme première et qu'elle est de ce fait plus simple. ©Electre 2021
Format : Broché
Nb de pages : 267 pages
Poids : 475 g
Dimensions : 17cm X 24cm
Date de parution :
ISBN : 978-2-36493-530-3
EAN : 9782364935303

Du même auteur : Jean-Pierre Desclés


Du même auteur : Gaëll Guibert


Du même auteur : Benoît Sauzay