Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)
É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...
Langages applicatifs, langues naturelles et cognition
É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...
La Philosophie transcendantale et le problème de l'objectivité
É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...
Calculs de signification par une logique d'opérateurs
É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...
Annotations automatiques et recherche d'information
É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...
Le dialogue, fonction première du langage : analyse énonciative de textes
É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...
Verbum, n° 2 (2018). Grammaires catégorielles
É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...
Logique combinatoire et lambda-calcul : des logiques d'opérateurs
É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...