Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
Auteurs : Raffalli Christophe ; David René
Résumé
Les auteurs expliquent comment un assistant de preuve (ici, le logiciel PhoX écrit par C. Raffalli) est un outil formateur dans l’apprentissage des raisonnements mathématiques. Ils relatent leur expérience dans les cours de licence et de maîtrise de l’université de Savoie. En annexe se trouve une présentation (syntaxe et exemples) du logiciel PhoX.
Notes
Quadrature est un magazine de mathématiques pures et appliquées. Il
s’adresse aux enseignants, étudiants, ingénieurs et amateurs de
mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l’édition électronique : 1760-4826).
Données de publication
Éditeur EDP sciences Les Ulis , 2002 Format A4, p. 25-36 Index Bibliogr. p.
ISSN 1142-2785
Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification