@article{PSMIR_1990-1991___5_A3_0, author = {Ag Almouloud, Saddo}, title = {Aide logicielle \`a la r\'esolution de probl\`eme avec preuve}, journal = {Publications de l'Institut de recherche math\'ematiques de Rennes}, note = {talk:3}, pages = {1--39}, publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes}, number = {5}, year = {1990-1991}, language = {fr}, url = {http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/} }
TY - JOUR AU - Ag Almouloud, Saddo TI - Aide logicielle à la résolution de problème avec preuve JO - Publications de l'Institut de recherche mathématiques de Rennes N1 - talk:3 PY - 1990-1991 SP - 1 EP - 39 IS - 5 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/ LA - fr ID - PSMIR_1990-1991___5_A3_0 ER -
%0 Journal Article %A Ag Almouloud, Saddo %T Aide logicielle à la résolution de problème avec preuve %J Publications de l'Institut de recherche mathématiques de Rennes %Z talk:3 %D 1990-1991 %P 1-39 %N 5 %I Département de Mathématiques et Informatique, Université de Rennes %U http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/ %G fr %F PSMIR_1990-1991___5_A3_0
Ag Almouloud, Saddo. Aide logicielle à la résolution de problème avec preuve. Publications de l'Institut de recherche mathématiques de Rennes, Didactique des mathématiques, no. 5 (1990-1991), Exposé no. 3, 39 p. http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/
Un langage pour la géométrie ». Logedif, IREM de Grenoble, cedic-Nathan
, (1986), «Cabri-géomètre: cahier de brouillon informatisé pour la résolution de problèmes en géométrie plane », 16, Petit x, IREM de Grenoble
, (1988) «Géométrie et informatique: vers la médiatrice. L'expérimentation: d'interaction entre problématique du chercheur et celle de l'enseignant », 24, Petit x, IREM de Grenoble.
, , , (1990), «Intelligence artificielle et enseignement de la géométrie», 4, REPERES IREM, TOPIQUES EDITIONS
, (1991) «L'organisation déductive du discours, Annales de didactiques et de sciences cognitives». 2, IREM de Strasbourg.
& (1989) «The modeling student Knowledge, the case of geometry», Computer aided proofs in school geometry», Actes du colloque NATO. Grenoble 1989 (à paraître dans Springer Verlag)
& (1989), «Interaction micromonde/tuteur en géométrie: mise en commun des possibilités de Cabri-géométrie et de DEFI, Actes des 2èmes Journées EIAO de CACHAN des 24 et 25 janvier 1991
& ,Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire», 17, Petit x. IREM de Grenoble.
(1988), «Contribution à l'étude expérimentale et à l'analyse de certaines acquisitions cognitives et certains objectifs didactiques en mathémathiques.Thèse d'Etat de l'Université de Rennes I.
(1979),Réflexion sur les logiciels d'aide à la démonstration en géométie », 2, Annales de Didactique et de Sciences Cognitives. IREM de Strasbourg.
, (1989), «Implication statistique et applications à l'analyse de démarches de preuve mathématique. Thèse d'Université de Rennes I.
(1991),Construction et vérification de figures géométriques dans le système MENTONIEZH. Thèse d'Université Rennes I, 1989.
,L'ordinateur comme outil d'aide à l'enseignement. Une séquence didactique pour l'enseignement du répérage dans l'espace à l'aide de logiciels graphiques, Thèse de l'Université Joseph FOURRIER Grenoble 1 .
(1988),Aspects multidimentionnels du raisonnement en géométrie » 2, Annales de Didactique et de Sciences Cognitives. IREM de Strasbourg.
, (1989), «Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie. Thèse de l'Université de Rennes I, IFSIC
(1990),