Exercices wims avec justification. Analyse. --- Introduction ---

Ce module rassemble quelques exercices WIMS faisant appel à CoqWeb.

Vous pouvez sélectionner un thème d'exercice, en précisant le mode d'utilisation du module:
Mode enseignant Mode étudiant guidé
Mode étudiant Mode libre
et aller travailler.



Cette page n'est pas dans son apparence habituelle parce que WIMS n'a pas pu reconnaître votre navigateur web.
Afin de tester le navigateur que vous utilisez, veuillez taper le mot wims ici : puis appuyez sur ``Entrer''.

Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.