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