Module « Outils formels pour l'analyse d'algorithmes »
Volume horaire
- 12 heures de cours magistral.
- 12 heures de travaux dirigés.
- 6 heures de travaux pratiques.
Description du module
- Systèmes de calcul formel.
- Macro-algorithmique du calcul exact.
- Calcul modulaire.