Tag: invariants
En informatique, un prédicat est appelé un invariant d’une séquence d’opérations, à la condition: si le prédicat est vrai avant le démarrage de la séquence, alors c’est vrai, à la fin de la séquence.
En informatique, un prédicat est appelé un invariant d’une séquence d’opérations, à la condition: si le prédicat est vrai avant le démarrage de la séquence, alors c’est vrai, à la fin de la séquence.