Licence 3 Informatique:
Algorithmes, types de données et preuves
Les types abstraits de données, système d'axiomes, sous-types. Etude
des structures séquentielles, ensembles, arborescences, graphes et
applications à diverses classes de problèmes (recherche, tri, calculs
arithmétiques).
Spécifications de programmes en B. Règles de preuve pour les
instructions et les fonctions, les tableaux.
Spécification récursive d'algorithme et transformation en itératif.
Travaux pratiques: utilisation de l'atelier B
Cours:
Travaux Dirigés:
Travaux Pratiques:
- Calendrier semestre:
- 1er cours: semaine du 26. septembre
- début TD: semaine du 3. octobre
- début TP: semaine du 14. novembre
Emploi du temps
Les règles du jeux
Travaux dirigés: Feuilles d'exercices
Travaux pratiques: Feuilles d'exercices
Les solutions aux exercices doivent être soumises régulièrement, voir
les règles
du jeux.
Pour les modalités et le format (électronique / papier) des documents,
demander à l'enseignant de votre groupe.
Si vous soumettez les documents par email, votre email doit
impérativement conformer au schéma suivant, pour permettre un
traitement automatisé:
- Sujet: TP Algo ([n]), où [n] est à remplacer par 1, 2, 3 ou
4, selon le no. du TP
- Le mail doit comporter votre nom et prénom ainsi que le
no. de votre carte d'étudiant.
- Mettre les documents qu'on vous demande en pièces attachés
Toute soumission qui ne conforme pas à ce schéma risque d'être
perdue. On vous renvoie un accusé de reception au plus trois jour
après l'envoi. Si vous ne recevez pas d'accusé, il vaut mieux
prendre contact avec votre enseignant.
Pour créer un tarfile:
- Mettre tous les documents demandés dans un répertoire avec
le nom Algo[n]_[nom], où [n] est à remplacer par le no. du TP
et [nom] est votre nom de famille.
- Créer un tarfile, avec: tar cfz algo[n]_[login].tgz Algo[n]_[login]/
Voici les feuilles des exercices:
- TP 1
À rendre:
- Machine ExosDeSpec.mch (format textuel et Latex)
- Machine Graphs.mch (format textuel et Latex)
Date limite: 2/12/2005
- TP 2
À rendre:
- Les machines correspondant aux exercices 1-8.
- Si vous soumettez en version électronique: Créer un
tarfile de votre projet (voir instructions plus haut).
Date limite: 9/12/2005
- TP 3
- TP 4
À rendre:
- Une réponse (écrite) à la question de l'exercice 1
- Les machines correspondant aux exercices 2-6.
- Si vous soumettez en version électronique: Créer un
tarfile de votre projet (voir instructions plus
haut).
Date limite: 16/1/2006
Interne (seulement accessible aux enseignants)
Informations sur B