Exercices wims avec justification. Algèbre linéaire. --- Introduction ---

Ce module rassemble quelques exercices WIMS faisant appel à CoqWeb. Ces exercices sont guidés. Les premiers exercices sont guidés plus explicitement que les derniers. Tous ces exercices sont accessibles uniquement en mode étudiants guidés.

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.