Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique combinatoire et lambda calcul 
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logique combinatoire et lambda calcul 

Logique combinatoire et lambda calcul 

Des logiques d'opérateurs

Jean-Pierre Desclès, Gaëll Guibert, Benoît Sauzay

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

L'auteur - Gaëll Guibert

Autres livres de Gaëll Guibert

L'auteur - Benoît Sauzay

Autres livres de Benoît Sauzay

Caractéristiques techniques

  PAPIER
Éditeur(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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de 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 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription