Les contributions sont bienvenues soit sous la forme de commentaires à la suite des définitions, soit sous la forme de nouvelles définitions (voir l'encadré ci-contre).

Contributions are welcome either as comments to the posts or as suugestion (see the frame on the right hand side).
[Draft of the English version]

Las contribuciones son bienvenidas, ya sea como comentarios siguientes definiciones, ya sea como nuevas definiciones (ver cuadro aquí-contra).

Nicolas Balacheff, CNRS, LIG Grenoble

2013/09/11

Fonction de planification du langage

"La fonction de planification du langage s'exerce à la suite de la verbalisation de l'énoncé d'un théorème  et consiste en un projet de vérification des prémisses manquantes du théorème. Dès que les prémisses à vérifier sont connues (fonction de guide), la fonction de planification du langage permet la construction d'un projet des pas de déduction nécessaires pour vérifier chaque prémisse." (Robotti 2008 p.206)

Aucun commentaire:

Enregistrer un commentaire