Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Logique combinatoire et lambda calcul 

Librairie Eyrolles - Paris 5e
Disponible en magasin
Actualisé le 18/12/2018

Logique combinatoire et lambda calcul 

Logique combinatoire et lambda calcul 

Des logiques d'opérateurs

270 pages, parution le 17/02/2016

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

Caractéristiques techniques du livre "Logique combinatoire et lambda calcul "

  PAPIER
Editeur(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
Noël - Idées Cadeaux

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925