Didactique et Epistémologie des Mathématiques du Supérieur :

Le 03 avril 2015 à 10h - salle de cours de l'IREM

Présentée par Meyer Antoine - 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.