Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Raffalli Christophe ; David René

Titre : Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.

Editeur : EDP sciences Les Ulis, 2002
Format : A4, p. 25-36 Bibliogr. p.
  ISSN : 1142-2785

Type : article de périodique ou revue, vulgarisation, popularisation Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Matériel utilisé : PhoX Niveau Niveau scolaire visé par l'article : licence Age : 18, 19, 20

Classification : A35Revues, article de revue
Enseignement supérieur, Post-Bac
 A38Revues, article de revue
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

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).

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 02/11/2019
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional