Thèmes
Les propositions s'organiseront autour de deux grands thèmes
:
-
Les potentialités et limites des logiciels de traitement symbolique
sur ordinateur ou calculatrice :
-
A quelles conditions ces logiciels sont-ils des instruments efficaces du
travail mathématique des élèves ?
-
Quelle peut être leur viabilité dans l'enseignement des mathématiques
?
-
Que nous apprennent à ce sujet les expériences d'intégration
des logiciels actuels ?
-
Que peut-on attendre de l'évolution des logiciels et de la recherche
mathématique sur le calcul formel ?
-
La conception d'environnements logiciels utilisant le calcul symbolique
:
-
Quelle approche didactique des situations d'apprentissage dans ces environnements
? Comment utiliser les recherches sur l'intégration des logiciels
de calcul symbolique ?
-
Quels principes et méthodologie de conception ? Comment tirer parti
des travaux sur les EIAO dédiés à l'algèbre,
à l'analyse, à la preuve… ?