Précondition
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant les mathématiques et la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Une précondition est une condition appliquée au début d'un calcul ou d'une fonction informatique, et permettant d'en valider le résultat.
