Nouveau : -5% dès 30€ | -10% dès 50€

Livraison offerte  !
Recyclivre, l'occasion fait le lien

Logique combinatoire et lambda-calcul : des logiques d'opérateurs

Jean-Pierre Desclés
  • 17/02/2016
  • Cépaduès
NC (0 avis)
Couverture de Logique combinatoire et lambda-calcul : des logiques d'opérateurs par Jean-Pierre Desclés

États des livres

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.

Prix  21,23 €

En état Très bon

product_favorite.connexion

Livré à partir du 10 juin

Vous faites un achat engagé

50 emplois solidaires crées

+ 1 000 000 € reversés à des associations

1% for the planet member Certified B Corporation

Livraison offerte !

Très bon

Prix  21,23 €

Ces livres pourraient aussi vous plaire

Donnez une seconde vie à vos livres !

  • Facile et rapide
  • Paiement en 48H
  • Expédition gratuite
Scanner pour télécharger l'application
QR Code
Disponible sur l'Apple Store Disponible sur Google Play

Autres livres liés à Jean-Pierre Desclés

Avis des lecteurs Recyclivre

NC (0 avis)

Aucun avis pour le moment

Donnez votre avis sur le contenu du livre. 

Donnez votre avis

Abonnez-vous à notre newsletter

Sélection lecture et Bons plans
Chargement en cours