Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Logique combinatoire et lambda calcul : des logiques d'opérateurs
Cepadues - EAN : 9782364935303
Édition papier
EAN : 9782364935303
Paru le : 17 févr. 2016
22,00 €
20,85 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9782364935303
- Réf. éditeur : 1530
- Editeur : Cepadues
- Date Parution : 17 févr. 2016
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 270
- Format : H:240 mm L:170 mm E:14 mm
- Poids : 475gr
-
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 -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.
