Calcul Formel Et Apprentissage Des Mathematiques. Actes Des Journees D'Etude "Environnements Informatiques De Calcul Symbolique Et Apprentissage Des Mathematiques", 15-16 Juin 2000, Rennes

Depuis plusieurs années, des systèmes de calcul symbolique sont disponibles sur des micro-ordinateurs et sur des calculatrices accessibles aux élèves. Leur intégration dans l'enseignement des mathématiques suppose une réflexion sur leurs fonctionnalités et sur leur adéquation à l'apprentissage de cette discipline. Cette réflexion est l'objet de recherches actuelles qui portent sur l'intégration des logiciels existants et sur la conception de nouveaux environnements d'apprentissage. Les travaux autour de la conception d'environnements informatiques pour l'apprentissage humain (EIAH) dans le domaine de l'algèbre et de l'analyse contribuent à cette réflexion. L'ouvrage issu des journées d'étude " Environnements informatiques de calcul symbolique et apprentissage des mathématiques " vise à mettre en commun les résultats de ces recherches. Il rassemble des contributions de chercheurs, de formateurs et d'enseignants. Les contributions s'organisent autour des thèmes suivants : 1. Les potentialités et limites des logiciels de traitement symbolique sur ordinateur ou calculatrice : • Les conditions pour que ces logiciels soient des instruments efficaces et viables du travail mathématique des élèves. • Les apports des expériences d'intégration des logiciels actuels. • Les perspectives apportées par l'évolution des logiciels et de la recherche mathématique sur le calcul formel. 2. La conception d'environnements logiciels utilisant le calcul symbolique : • L'approche didactique des situations d'apprentissage dans ces environnements. • Les principes et méthodologies de conception. • La contribution des travaux sur les EIAO dédiés à l'algèbre, à l'analyse, à la preuve...