Spelling suggestions: "subject:"environnement informatisé"" "subject:"lénvironnement informatisé""
1 |
Étude de l'impact d'une approche didactique invitant des élèves en difficulté d'apprentissage à jouer le rôle d'enseignant lors d'activités de mise en équation algébriqueFiola, Annie January 2005 (has links)
No description available.
|
2 |
De la recherche en traitement d'images à la recherche en systèmes d'informations en passant par l'enseignement à distance et le travail collaboratifFayolle, Jacques 03 July 2007 (has links) (PDF)
- Recherche en traitement d'images sur la mesure du mouvenment d'objets déformables<br>-enseignement à distance collaboratif (Campus virtuel EDEN3)<br>-formation à distance et travail distant collaboratif : quels apports des EIAH pour les remote labs, ...
|
3 |
Construction automatique de figures géometriques et programmation logique avec contraintesBouhineau, Denis 17 June 1997 (has links) (PDF)
Les contributions théoriques de ce travail comportent : 1) la définition d'une représentation exacte et normale des nombres constructibles (expressions arithmétiques avec racines carrées imbriquées), 2) un algorithme pour tester l'égalité, la différence et l'inégalité entre ces nombres et 3) une méthode pour la vérification de contraintes redondantes vis a vis d'un systême de contraintes quadratiques. L'ensemble de ce travail est intégré dans un environnement CLP(géométrie) reprenant l'approche de la programmation logique avec contraintes. La principale contribution expérimentale porte sur un ensemble de 512 théorèmes de géométrie proposés par Chou. Elle consiste en la réduction du nombre d'extensions quadratiques nécessaires pour représenter ces situations géométriques grâce à un choix soigneux des constructions employées. Cette réduction s'accompagne du résultat suivant : la grande majorité des 512 théorèmes proposés par Chou peuvent être prise en compte de manière exacte avec un surcoût limité, en pratique les nombres rationnels sont suffisants. Le lien étroit de ce travail avec les préoccupations liées à la réalisation de tuteurs homme-machine font de cette approche un outils intéressant pour l'enseignement de la géométrie. Trois applications sont données dans ce domaine. La principale concerne une approche déclarative pour la définition et la manipulation de figures géométriques.
|
Page generated in 0.0766 seconds