Associations avec le mot «Postcondition»
Wiktionnaire
POSTCONDITION, nom. (Mathématiques) Condition appliquée à la fin d'un calcul et permettant de valider le résultat d'une fonction mathématique.
POSTCONDITION, nom. (Programmation informatique) En programmation, propriété attachée à une fonction et vérifiée à la fin de l'exécution de cette fonction.
Sages paroles
Le mot doit faire naître l'idée ; l'idée doit peindre le fait : ce sont trois empreintes d'un même cachet ; et, comme ce sont les mots qui conservent les idées et qui les transmettent, il en résulte qu'on ne peut perfectionner le langage sans perfectionner la science, ni la science sans le langage.