Chargement...
Chargement...
Auteur Desclés, Jean-Pierre
Auteur

Support

Série

Disponibilité

1
Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)

Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)

Auteur : 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...
Annotations automatiques et recherche d'information

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