Séminaire général du Laboratoire d’informatique Gaspard-Monge
Edukera est une application en ligne permettant de résoudre des
exercices de mathématiques. Sa réalisation a nécessité la mise en place
d’une interface web ergonomique d’élaboration de raisonnements, ainsi
que l’intégration du moteur de logique formelle COQ.
La présentation abordera plusieurs aspects du sujet :
* démonstration de l’application
* architecture technique de l’application
* considérations pédagogiques
http://www.edukera.com/
Orateur : Benoit Rognier
Mardi 5 mai 2015 à 14h30
Lieu: Salle de séminaire du LIGM (4B05R) - Bâtiment Copernic
Cité Descartes, 5 Boulevard Descartes - Champs sur Marne
77454 Marne la Vallée Cedex 02
http://ligm.u-pem.fr/evenements/seminaires/