a3_tri_3_3_cours_exo17

Name: a3_tri_3_3_cours_exo17
Uploaded: 2020-06-06T22:02:06+00:00
Duration: 6 min 47 s
Channel: Monteillet
Description: Preuve sous forme d'exercice que le tri par insertion est correct en utilisant un invariant de boucle.

Monteillet

Preuve sous forme d'exercice que le tri par insertion est correct en utilisant un invariant de boucle.

Catégorie

Recommandations