Vue normale Vue MARC vue ISBD

Logique combinatoire et [lambda]-calcul [ Livre] : des logiques d'opérateurs / Jean-Pierre DESCLÉS, Gaëll GUIBERT, Benoît SAUZAY

Auteur principal: Desclès, Jean-Pierre, Auteur IdrefCo-auteur: Guibert, Gaëll, Auteur Idref;Sauzay, Benoît, Auteur IdrefLangue : français.Publication : Toulouse : Cépaduès-éditions, DL 2016, Cop 2016, 31-Toulouse : Imprimerie MessagesDescription : 1 volume de 269 pages : Illustré en noir et blanc, couverture illustrée en couleur. ; 24 cm.ISBN : 9782364935303.Dewey : 511.31, 23Classification : 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..Sujet - Nom commun: Logique combinatoire | Linguistique -- Informatique
    classement moyen : 0.0 (0 votes)
Type de document Site actuel Cote Statut Notes Date de retour prévue
 Livre Livre Bibliothèque Universitaire Mohamed Sekkat
2ème étage
511.31 DES (Parcourir l'étagère) Exclu du prêt New 2017

Le mot "lambda" dans le titre est représenté par la lettre grecque

Bibliographie pages 257-262

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.

Il n'y a pas de commentaire pour ce document.

Connexion à votre compte pour proposer un commentaire.

© tous droits réservés 2023 | Bibliothèque Universitaire Mohamed Sekkat
Site web http://bums.univh2c.ma/
E-mail : bibliosekkat@univh2c.ma
Tél : +212 666 036 169 / 666 035 560

Propulsé par Koha