Cours sur Rodin

Les diapos du premier cours d'introduction

pdf distribués en cours

Le pont et l'île (Abrial)

Recherche dans un tableau

Type Union disjointe

Dernier cours

Les développements vus le 12 Avril 2013

Le site de Rodin

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

Rodin pour les débutants

modèle mathématique de Rodin


résumé en pdf

Travaux dirigés et mini-projets

  1. Première semaine
  2. Deuxième semaine
  3. Solution des TD 1 et 2
  4. Troisième semaine (au moins)
  5. TDs 5 et 6
    (les exercices sont classés par ordre de difficulté croissante.)
    1. Télécharger l'archive correspondant au cours du 29 mars
    2. Ajouter un raffinement décrivant une file de taille bornée
    3. Ecrire une machine décrivant une file de priorité
      les événements en seront: "ajouter un client avec la priorité n", et "sortir un client de priorité maximale"
    4. Raffiner la machine "file de taille bornée" en considérant une limite de taille égale à 2; On se préoccupera d'efficacité !
    5. Dans le cas de la file de priorité, comment ajouter la contrainte "A priorité égale, le premier entré est prioritaire pour sortir" ?
  6. Solution des TD5 et 6

Projet (2012-2013)

Lire dans cette page

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