Questions et réponses pour le proof-of-correctness :
Argument mathématique formel qu'un algorithme répond à sa spécification, c'est-à-dire qu'elle produit toujours la sortie correcte pour toute entrée autorisée.
J'essaie de comparer 2 algorithmes. Je pensais que je peux essayer d'écrire une preuve pour eux. (Mon calcul est nul, alors donc la question.)
Normalement dans notre cours de math ...
