Loading...
Please wait, while we are loading the content...
Similar Documents
La programmation logique par contraintes pour l'aide `a l'enseignant (1996).
| Content Provider | CiteSeerX |
|---|---|
| Author | Bouhineau, Denis |
| Abstract | . Cet article soutient le point de vue que les Environnements Informatis'es d'Apprentissage Humain (EIAH) ne consid`erent pas assez l'enseignant comme un utilisateur potentiel distinct de l'apprenant. Aussi, le n'eologisme "pr'eceptoriel" est introduit pour d'ecrire des EIAH ayant une approche centr'ee sur le professeur. Le domaine des logiciels de construction de figures g'eom'etriques est ensuite pris comme exemple. Une analyse des aides que l'on peut apporter au professeur dans ces logiciels est men'ee. Elle conduit au probl`eme de la validation des constructions de l'apprenant et de la production de contreexemples. La notion de contre-exemple est 'etudi'ee en vue de son int'egration dans un pr'eceptoriel de g'eom'etrie `a l'aide de la programmation logique par contraintes. Une mise en oeuvre informatique est pr'esent'ee ainsi qu'un exemple d'utilisation. Mots cl'es : Sp'ecifications logiques de figures de g'eom'etrie, Pr'eceptoriel, Production de contre-exemples, Calculs sur inter... |
| File Format | |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Subject Keyword | Environnements Informatis Elle Conduit Au Probl Cet Article Soutient Le Point Une Approche Centr Ee Sur Le Professeur Ecrire De Eiah Apprentissage Humain Mot Cl Ecifications Logiques De Aide Professeur Dans Ce Introduit Pour Une Mise En Oeuvre Informatique Ensuite Pris Comme Exemple Programmation Logique Par Contraintes Validation De Construction Erent Pa Assez Eologisme Pr Le Domaine De Un Exemple La Notion Contre-exemple Est Egration Dans Un Pr |
| Content Type | Text |
| Resource Type | Article |
