Sommaire du Fascicule no. 4

Groupe de travail de calcul formel

Liste complète des exposés

Sur le calcul des racines des polynômes
La règle de Newton et les théorèmes de Sylvester
Spécialisation de la suite de Sturm et sous-résultants
Sur la complexité du principe de Tarski-Seidenberg
Une inégalité de Lojasiewicz effective
An Introduction to the Tangent Cone Algorithm
La Queste del Saint GR a (AL): a Computational Approach to Local Algebra
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
Enlacements et tresses fermées Traitement algorithmique
Théorie des nœuds et calcul formel

Sommaire du Fascicule no. S6

Vème école d'été de didactique des mathématiques et de l'informatique

Liste complète des exposés

L'enseignement de la géométrie en tant que terrain d'exploration de phénomènes didactiques
À la recherche de phénomènes didactiques dans l'enseignement de la géométrie
Méthodes pour la conception d'un apprentissage du sens des graphismes techniques
Le contrat didactique comme outil d'analyse des phases de dévolution et de bilan
Les recherches actuelles sur l'apprentissage de la démonstration et les phénomènes de validation en France
Rationalité scientifique et rationalité quotidienne face au problème de la preuve en mathématiques
Initialisation dans la classe de mathématiques de la distinction entre différents types de rationalité
Problématiques de recherche sur l'apprentissage de la démonstration et les phénomènes de validation
La validation en programmation : à propos de conceptions des étudiants
La théorie des champs conceptuels
Situations évoquées, situations jouées et structures mathématiques
Le champ conceptuel, outil d'analyse pour l'introduction de l'algèbre
Les rapports entre langage et pensée dans le processus de résolution de problème
Influence de l'informatique sur le savoir enseigné en mathématiques
Influence de l'informatique sur le savoir enseigné en mathématiques : le cas des équations différentielles
Spécificités de Cabri-géomètre pour les problèmes de constructions en géométrie
Le micro-ordinateur, outil de révélation et d'analyse du raisonnement déductif de l'élève
Registres mis en jeu par la notion de fonction
Didactique de l'informatique et acquisition de la programmation
Le contrat didactique et le concept de milieu
La dévolution du raisonnement logique, problème d'ingénierie. Un exemple de rupture de contrat
La mémoire du milieu didactique
Analyse d'un contrat didactique
Forum des problèmes
Approches cliniques, contre-transfert et analyse didactique
Ingénierie didactique
L'ingénierie didactique comme outil de formation en didactique
Ingénierie didactique d'un point de vue méthodologique : étude d'une recherche sur l'enseignement de l'algèbre linéaire
Ingénierie didactique du point de vue des genèses artificielles