Calculs de signification par une logique d'opérateurs
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2016
ISBN :
9782364935754
Afficher le Résumé
La logique combinatoire (LC) n'est pas tellement reconnue, il s'agit pourtant d'une logique d'opérateurs abstraits qui composent et transforment des opérateurs quelconques. Cette notion d'opérateur, bien qu'utilisée en mathématiques, n'est pas vraiment définie pour elle-même comme dans les domaines qui l'utilisent, tels que l'informatique, celui des langues naturelles et de la cognition ou de l'Intelligence Artificielle. Cependant, elle motive la présentation donnée ici. Parfois attribuée à l'article de Sch?nfinkel (1924), la LC naît surtout avec H. Curry, dès 1929, dont Hindley et Seldin vont développer le programme.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 510 DES C1 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DES C2 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DES C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DES C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DES C5 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DES C6 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
Desclés, J. & Gaëll Guibert, B. (2016). Calculs de signification par une logique d'opérateurs . Cépaduès-éditions;