postcondition
- lemme
-
- nom commun féminin
- forme
-
- phonétique /pɔst.kɔ̃.di.sjɔ̃[n]/
- orthocode post.con.di.tion
- voir aussi rimes
Prononciation et analyses de « postcondition » 1 analyse
| lemme | catégorie | analyse | prononciation | fréq. |
|---|---|---|---|---|
| postcondition | nom commun | singulier féminin | pɔst.kɔ̃.di.sjɔ̃[n] |
Formes, analyses, prononciation et fréquences : base LeXiK (B, noyau). Fréquences en occurrences par million de mots (sous-titres) ; la fréquence d'une analyse est la part de cette analyse dans les corpus étiquetés, celle d'un lemme la somme de ses analyses.
Définitions de « postcondition » nom commun · féminin
pluriel : postconditions
Formes de « postcondition » 2 : postcondition, postconditions
- postcondition pɔst.kɔ̃.di.sjɔ̃[n] singulier féminin
- postconditions pɔst.kɔ̃.di.sjɔ̃[z] pluriel féminin
nom commun · féminin
Étymologie. dérivé de condition, avec le préfixe post-.
-
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.
-
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
- précondition
- hyperonymes
- programmation par contrat
Traductions
- Italien
- postcondizione
Source : « postcondition », Wiktionnaire, section nom commun (CC BY-SA 3.0).
Entités nommées « postcondition » 1
| entité A→Z | type | notoriété (mondiale) | popularité (fr) |
|---|---|---|---|
| postcondition — condition que doit satisfaire un résultat ou un effet produit quand toutes... | concept |
Entités : Wikidata (CC0) ; sélection et classement : Lectura.