Visitor

Views

Numérique et sciences informatiques - Sujet 0 - media.eduscol ...

Correction : Il s'agît ici de prouver que l'algorithme fait bien ce qu'on lui demande. Pour cela, on va chercher un invariant de boucle. C'est une propriété qui est ...