Logique combinatoire et lambda calcul 

Logique combinatoire et lambda calcul 

Des logiques d'opérateurs

  • Nombre de pages : 270 pages
  • Date de parution : 17/02/2016 
  • EAN13 : 9782364935303

Livre Papier

22.00 €

 Expédié sous 4 jours

Librairie Eyrolles
Paris 5eme

Disponible

Actualisé le 22/10/2018

Avantages Eyrolles.com

Livraison à partir de 0.01 € en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

LIVRAISON dans le monde entier

Retour sous 15 jours

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.

Caractéristiques

 PAPIER
Editeur(s)Cépaduès
Auteur(s)Jean-Pierre Desclès - Gaëll Guibert - Benoît Sauzay
Parution 17/02/2016
Edition  1ère édition
Nb de pages 270
Format 17 x 24
CouvertureBroché
Poids 475
IntérieurNoir et Blanc
EAN13 9782364935303
ISBN13 978-2-36493-530-3

Avis (0)

Soyez le premier à donner votre avis. Donnez votre avis