a3_tri_3.2_exo16

Name: a3_tri_3.2_exo16
Uploaded: 2020-06-06T21:57:19+00:00
Duration: 5 min 55 s
Channel: Monteillet
Description: Correction d'un exercice sur un invariant de boucle permettant de prouver qu'une fonction sommant les termes entiers d'une liste est correcte.

Monteillet

Correction d'un exercice sur un invariant de boucle permettant de prouver qu'une fonction sommant les termes entiers d'une liste est correcte.

Catégorie

Recommandations