TY - THES DP - http://www.theses.fr/2012GRENM077 TI - Enseigner l'algorithmique, pourquoi ? Quels apports pour l'apprentissage de la preuve ? Quelles nouvelles questions pour les mathématiques ? AU - Modeste, Simon A3 - Gravier, Sylvain PY - 2012 N1 - Thèse de doctorat Mathématiques Grenoble 2012 N1 - 2012GRENM077 ER -