Didactique et Epistémologie des Mathématiques du Supérieur
vendredi 03 avril 2015 à 10h - salle de cours de l'IREM
Antoine Meyer (Université Paris-Est Marne la Vallée)
Articulations preuves-algorithmes-programmes : questions didactiques à l'interface mathématiques-informatique
Nous proposerons au groupe de travail d'explorer les liens entre preuves, algorithmes et programmes à l'interaction entre mathématiques et informatique. Nous suggérerons plusieurs entrées pour ces questions à travers des exemples, qui permettront de réfléchir à la transition secondaire-supérieur en mathématiques et en informatique sous un angle épistémologique et didactique. L'atelier proposé est lié à un travail initié récemment autour de questions de didactique et épistémologie des interactions mathématiques-informatique dans l'Enseignement Supérieur.