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.