postcondition
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
Nom commun [modifier le wikicode]
Singulier | Pluriel |
---|---|
postcondition | postconditions |
\pɔst.kɔ̃.di.sjɔ̃\ |
postcondition \pɔst.kɔ̃.di.sjɔ̃\ féminin
- (Mathématiques) Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
- La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
Si et et que , avec pour postcondition de validation , la postcondition s’écrira :
- (Programmation) En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
- Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.
Antonymes[modifier le wikicode]
Hyperonymes[modifier le wikicode]
Traductions[modifier le wikicode]
- Italien : postcondizione (it) féminin
Prononciation[modifier le wikicode]
- (Région à préciser) : écouter « postcondition [Prononciation ?] »
- France (Vosges) : écouter « postcondition [Prononciation ?] »
Voir aussi[modifier le wikicode]
- postcondition sur l’encyclopédie Wikipédia