Licence 5 Informatique:
Algorithmique

Contenu

TBD

 

Enseignants

Cours:

• Jean-Louis Durieux

Travaux Dirigés:

• Jean-Paul Bodeveix
• Alain Coste
• Jean-Louis Durieux
• Olivier Gasquet
• Henri Massié

• Jean-Paul Bodeveix
• Yannick Chevalier
• Jean-Louis Durieux
• Mamoun Filali
• Martin Strecker

Organisation

Calendrier semestre:

1er cours: semaine du 27. septembre

début TD: semaine du 4. octobre

début TP: semaine du 22. novembre

Emploi du temps

Ressources

Travaux dirigés: Feuilles d'exercices

• TD 1
• TD 2
• TD 3

Travaux pratiques: Feuilles d'exercices

• TP 1
• TP 2
• TP 3
• TP 4

A rendre: TP4, exercices 1 à 4:

• Ex. 1: Courte explication informelle (pourtant précise...)
• Ex. 2: Listing du fichier Division.mch
• Ex. 3: Listing du fichier Division_Imp.imp
• Ex. 4: Donner un argument informel:
  • pourquoi l'invariant est préservé par la boucle
  • pourquoi l'invariant implique la propriété exprimée par la spécification

Informations sur B

• Introduction à B
• Notations B
• Manuel de référence

Pour en savoir plus...