Cognition et apprentissages mathématiques
vendredi 15 janvier 2016 à 9:30 - Bat. 9 1er étage (salle Turing)
Benoît Rognier ()
Atelier de présentation du logiciel Edukera
Atelier de 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. Pour participer à cet atelier, vous avez besoin d'un compte SIF (compte informatique actif sur les machines de la faculté des sciences). Pour cela, vous devez valider la charte sur le lien suivant : https://comptesif.info-ufr.univ-montp2.fr/ent