Colloque international Wims 2007 - André Hirschowitz

1 juillet 2008
01:45:09
Nombre de vues 44
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

André Hirschowitz (Université de Nice Sophia Antipolis) :

Couplé avec wims, le logiciel Coqweb permet de formuler et prouver des énonces mathématiques.
ue à travers Coqweb, une preuve apparait comme un processus complexe (mais pas tant que ça) qu'on peut voir se dérouler à l'écran et qu'un texte mathématique peut résumer plus ou moins fidèlement. De telles preuves newage sont déjà proposées en amphi aux étudiants de première année, auxquels on demande de les reproduire dans les séances wims.
ans cet exposé, on expliquera le fonctionnement du logiciel et on montrera plusieurs exemples de preuves. On montrera aussi comment on peut reformuler en Coqweb les exercices traditionnels comportant des preuves.

Mots clés : coqweb wims

  • Ajouté par : Admin UNSpod (adminPod)
  • Propriétaire(s) additionnel(s) :
    • AnonymousUser Olivier Bado (bado@unice.fr)
  • Mis à jour le : 1 juillet 2008 00:00
  • Type : Colloques / Séminaires
  • Langue principale : Français
  • Discipline(s) :

Commentaire(s)