Calculs de signification par une logique d'opérateurs. Vol2
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2016
Thème :
Mathématiques
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 1 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 510 DES 1 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 510 DES 1 C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
Desclés, J. et al. (2016). Calculs de signification par une logique d'opérateurs. Vol2 . Cépaduès-éditions;