Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

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 2024
76,07 €
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...

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 2024
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 2024
120,00 €
Chargement...
1