Séminaire de Recherche en Didactique et Epistémologie des Mathématiques
jeudi 14 janvier 2016 à 17:15 - Campus Triolet- Bâtiment 9, salle 109
Benoît Rognier ()
Présentation du logiciel Edukera
Présentation du logiciel edukera, logiciel éducatif dédié à la preuve mathématique basé sur l'assistant de preuve Coq. Edukera propose aux éléves/étudiants une application en ligne innovante leur permettant de résoudre des exercices de mathématiques. L'élève/étudiant apprend les mathématiques par la résolution d'exercices et le suivi de son activité. L'élève élabore dans l?application un raisonnement mathématique étape par étape, par assemblage et paramétrage des raisonnements élémentaires disponibles dans le cours. Si toutes les propositions mathématiques de la copie sont correctement justifiées, alors l?exercice est résolu et l'élève peut passer à l'exercice suivant. Site : edukera.com