TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

ASERTO [2 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 1999-04-27

Anglais

Subject field(s)
  • Computer Programs and Programming
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.

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.

OBS

assertion: term standardized by CSA, IEEE and ISO/IEC.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
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.

OBS

assertion : terme normalisé par la CSA et l'ISO/CEI.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
Conserver la fiche 1

Fiche 2 1998-08-20

Anglais

Subject field(s)
  • Artificial Intelligence
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).

OBS

It is currently believed by the machine that it is held in same fact base and used for same purpuse.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Connaissance descriptive considérée comme vraie dans une base de faits. Les faits établis sont distincts des faits à établir.

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é [...].

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
Conserver la fiche 2

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :