Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Jean-Pierre Desclés
Éditeur(s) :
Hermann
Présentation de la méthode de la déduction naturelle de A. Gentzen (1934) qui permet de faire comprendre le rôle des constantes logiques, de la négation ainsi que des mots de la langue naturelle tels que : ou, si, alors, tous, quelques, aucun. Le CD-ROM permet de rés...
35,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Traite, entre autres, du calcul de Lambek, de la logique combinatoire, des formes normales et théorème de Church-Rosser, de la typologie des langues et invariants grammaticaux, des archétypes cognitifs, de la transivité et intentionalité. ©Electre 2025
76,07 €
Chargement...
Éditeur(s) :
Osiris
J. Petitot expose ses principales thèses sur la nature transcendantale de l'objectivité physique (en particulier quantique) et sur les composantes d'une ontologie qualitative. ©Electre 2025
12,30 €
Chargement...
Éditeur(s) :
Cépaduès
La notion d'opérateur est présentée à travers des concepts comme la variable, la fonction, la structure opérateur-opérande et la distinction entre l'opérateur et l'opération. A l'aide de nombreux exemples ou calculs, la logique combinatoire (LC) permet d'interroger u...
65,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Présentation de méthodes d'identification automatique de relations sémantiques discursives associées à des segments textuels variés comme EXCOM et exemples et problèmes sémantiques d'autres méthodes d'accès aux informations. ©Electre 2025
120,00 €
Chargement...
Éditeur(s) :
H. Champion
Une présentation détaillée de la théorie de l'énonciation de Benvéniste suivie d'une partie qui la met en application sur des textes tels que Jonas et l'Exode permettant ainsi de dégager les structures énonciatives et dialogiques en fonction des seuls marqueurs lingu...
66,00 €
Chargement...
Éditeur(s) :
PUN-Editions universitaires de Lorraine
Les contributeurs, informaticiens-linguistes et logiciens spécialisés dans l'analyse logique des langues, présentent les diverses avancées autour des calculs syntaxiques détaillés de phrases complexes, de l'approche catégorielle de Joachim Lambek ou encore de l'appli...
15,00 €
Chargement...
Éditeur(s) :
Cépaduès
Présentation de la logique combinatoire développée par Curry et de son utilisation pour fournir des fondements logiques aux langages de programmation fonctionnels. Les auteurs expliquent que la logique combinatoire, contrairement au lambda-calcul, ne fait pas appel a...
22,00 €
Chargement...
