Didactique et Epistémologie des Mathématiques du Supérieur
jeudi 28 novembre 2013 à 9h - salle de cours de l'IREM
Ingrid Lacroix-Violet (Laboratoire Paul Painlevé, Lille)
Journée exceptionnelle à l'occasion de la venue de Denis Tangay
Matin : 1) Sarah Mathieu-Soucy (UQAM). La logique formelle dans les démonstrations à l'université, travail en cours sous la direction de Denis Tanguay. 2) Denise Grenier (Université Grenoble 1). Des problèmes pour enseigner les différents types de raisonnement mathématiques, dans la transition lycée-université. Exemples particuliers sur le raisonnement inductif et la preuve par récurrence Après-midi : 3) Thomas Hausberger et Christian Spitalas. Enseignement et apprentissage de l'algèbre abstraite : rôle des définitions et exemples en théorie des groupes. Vers une didactique du structuralisme. 4) Viviane Durand-Guerrier. An insight on university mathematics teaching practices about proofs involving multiple quantifiers