TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
ASERTO [2 records]
Record 1 - internal organization data 1999-04-27
Record 1, English
Record 1, Subject field(s)
- Computer Programs and Programming
Record 1, Main entry term, English
- assertion
1, record 1, English, assertion
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during program execution, for example, A is positive and A is greater than B. 2, record 1, English, - assertion
Record number: 1, Textual support number: 2 DEF
A language construct specifying a particular status that must exist or a particular condition that must be satisfied at a particular point of a program when it will be executed. 3, record 1, English, - assertion
Record number: 1, Textual support number: 1 OBS
assertion: term standardized by CSA, IEEE and ISO/IEC. 4, record 1, English, - assertion
Record 1, French
Record 1, Domaine(s)
- Programmes et programmation (Informatique)
Record 1, Main entry term, French
- assertion
1, record 1, French, assertion
correct, feminine noun, standardized
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Élément de langage qui spécifie l'état particulier qui doit exister ou la condition particulière que l'on doit satisfaire en un certain point de l'exécution d'un programme. 2, record 1, French, - assertion
Record number: 1, Textual support number: 1 OBS
assertion : terme normalisé par la CSA et l'ISO/CEI. 3, record 1, French, - assertion
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Programas y programación (Informática)
Record 1, Main entry term, Spanish
- aserto
1, record 1, Spanish, aserto
correct, masculine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1998-08-20
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- assertion
1, record 2, English, assertion
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 DEF
A declaration that something is the case (as that a proposition is true or that a formula is a theorem in an axiomatized system). 2, record 2, English, - assertion
Record number: 2, Textual support number: 1 OBS
It is currently believed by the machine that it is held in same fact base and used for same purpuse. 3, record 2, English, - assertion
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- fait établi
1, record 2, French, fait%20%C3%A9tabli
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
- assertion 2, record 2, French, assertion
correct, feminine noun
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
Connaissance descriptive considérée comme vraie dans une base de faits. Les faits établis sont distincts des faits à établir. 1, record 2, French, - fait%20%C3%A9tabli
Record number: 2, Textual support number: 1 CONT
Il est possible d'écrire une seule fois sous forme déclarative une assertion ou une formule liant plusieurs variables tout en l'utilisant de plusieurs façons différentes suivant le but recherché [...]. 3, record 2, French, - fait%20%C3%A9tabli
Record 2, Spanish
Record 2, Campo(s) temático(s)
- Inteligencia artificial
Record 2, Main entry term, Spanish
- aserto
1, record 2, Spanish, aserto
correct, masculine noun
Record 2, Abbreviations, Spanish
Record 2, Synonyms, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: