| Titre : | Logique combinatoire et λ[lambda]-calcul : des logiques d'opérateurs | | Type de document : | texte imprimé | | Auteurs : | Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur | | Editeur : | Toulouse : Éditions Cépaduès | | Année de publication : | 2016 | | Importance : | 269 p. | | Présentation : | ill., couv. ill. en coul. | | Format : | 24 cm. | | ISBN/ISSN/EAN : | 978-2-36493-530-3 | | Note générale : | -Ce volume constitue le volume I d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume II sur le même thème : Calculs de signification par une logique d'opérateurs. ISBN : 978-2-36493-575-4. - Le mot "lambda" sur la page de titre est représenté par la lettre grecque | | Langues : | Français | | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Logique combinatoire Linguistique Informatique Lambda-calcul | | Index. décimale : | 511.31 | | 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. |
Logique combinatoire et λ[lambda]-calcul : des logiques d'opérateurs [texte imprimé] / Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur . - Toulouse : Éditions Cépaduès, 2016 . - 269 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-36493-530-3 -Ce volume constitue le volume I d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume II sur le même thème : Calculs de signification par une logique d'opérateurs. ISBN : 978-2-36493-575-4. - Le mot "lambda" sur la page de titre est représenté par la lettre grecque Langues : Français | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Logique combinatoire Linguistique Informatique Lambda-calcul | | Index. décimale : | 511.31 | | 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. |
|  |
511 
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheLogique combinatoire et λ[lambda]-calcul / Jean-Pierre Desclès
