Cours sur Rodin

Les diapos du premier cours d'introduction

Le site de Rodin

Ce site contient entre autres la doc de Rodin.
A mettre dans vos favoris

modèle mathématique de Rodin


résumé en pdf

Documents de cours

  1. Archive contenant les exemples vus en cours

Travaux dirigés et mini-projet

  1. Première semaine
  2. Solution du premier TD
    Sous Rodin, utiliser le menu
    File/Import/General/Existing project into workspace
  3. Deuxième semaine
  4. Reprendre le projet sur la recherche dans un tableau, avec la méthode binaire.

Projet

Lire ceci

Pour tester votre installation de Rodin

Importer cette archive . Il doit rester une obligation de preuve en rouge. Si votre installation comporte bien les prouveurs automatiques, en cliquant sur p0 cette O.P. doit se resoudre.

Archives