Étude et réalisation d'un système tuteur pour la construction de figures géométriques
Ce travail se situe dans le cadre des systèmes informatiques pour l'enseignement intégrant des capacités de raisonnement. Les exigences de ces EIAO (Environnement Interactif d'Apprentissage avec Ordinateur) sont à la fois d'ordre didactique et d'ordre informatique : exigence d...
Main Author: | Desmoulins, Cyrille |
---|---|
Language: | FRE |
Published: |
1994
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00005086 http://tel.archives-ouvertes.fr/docs/00/04/63/64/PDF/tel-00005086.pdf |
Similar Items
-
Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances
by: Abdallah, Nada
Published: (2010) -
Réseaux de preuve et génération pour les grammaires de types logiques
by: Pogodalla, Sylvain
Published: (2001) -
Délinéarisation automatique de flux de télévision
by: Manson, Gaël
Published: (2010) -
Unification et disunification : théorie et applications
by: Comon, Hubert
Published: (1988) -
Schémas de formules et de preuves en logique propositionnelle
by: Aravantinos, Vincent
Published: (2010)