TERMIUM Plus®

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

ASSERTIONS [90 fiches]

Fiche 1 2025-03-27

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

An assertional box (... ABox) is a finite set of concept assertions and role assertions; an ABox is called simple if all concept descriptions occurring in concept assertions are concept names ... an ontology is a union of an assertional box and a terminological box, and elements that can occur in ontologies are also called axioms.

CONT

A [description logics (DL)] ontology consists of two finite and mutually disjoint sets: a Tbox (or terminological box) which introduces the terminology and an Abox (or assertional box) which contains facts about particular objects in the application domain.

Français

Domaine(s)
  • Intelligence artificielle
CONT

La modélisation des connaissances d’un domaine avec les [logiques de descriptions (LD)] se réalise en deux niveaux. Un niveau terminologique (TBox) décrit les connaissances générales d’un domaine comme les concepts et les rôles et un autre niveau factuel (ABox) représente une configuration précise comme la description des individus en les nommant et en montrant leur appartenance à des concepts ou à des rôles.

CONT

On distingue deux composants dans une base de connaissances en logique de description(LD), qui sont respectivement TBox et ABox. La TBox, ou niveau terminologique, contient les axiomes qui définissent les concepts du domaine, tandis que l'ABox, appelé également niveau factuel, spécifie les assertions qui apparaissent dans le domaine ou dans la description du monde réel.

OBS

ABox : Étant donné que cette abréviation provient de l’anglais, le genre de cette désignation n’est pas figé dans l’usage.

Espagnol

Conserver la fiche 1

Fiche 2 2025-03-07

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

A terminological box (... TBox) is a finite set of concept inclusions, concept equivalences, and concept definitions ... an ontology is a union of an assertional box and a terminological box, and elements that can occur in ontologies are also called axioms.

CONT

A [description logics (DL)] ontology consists of two finite and mutually disjoint sets: a Tbox (or terminological box) which introduces the terminology and an Abox (or assertional box) which contains facts about particular objects in the application domain.

Français

Domaine(s)
  • Intelligence artificielle
CONT

La modélisation des connaissances d’un domaine avec les [logiques de descriptions (LD)] se réalise en deux niveaux. Un niveau terminologique (TBox) décrit les connaissances générales d’un domaine comme les concepts et les rôles et un autre niveau factuel (ABox) représente une configuration précise comme la description des individus en les nommant et en montrant leur appartenance à des concepts ou à des rôles.

CONT

On distingue deux composants dans une base de connaissances en logique de description(LD), qui sont respectivement TBox et ABox. La TBox, ou niveau terminologique, contient les axiomes qui définissent les concepts du domaine, tandis que l'ABox, appelé également niveau factuel, spécifie les assertions qui apparaissent dans le domaine ou dans la description du monde réel.

OBS

TBox : Étant donné que cette abréviation provient de l’anglais, le genre de cette désignation n’est pas figé dans l’usage.

Espagnol

Conserver la fiche 2

Fiche 3 2025-02-27

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

Solving the problem of multiple matches in a rule-based system by selecting the most appropriate rule.

OBS

Multiple matches may occur, in pattern matching or in the left-hand side of a rule, where two rules produce conflicting assertions.

OBS

conflict resolution: designation and definition standardized by ISO.

OBS

conflict resolution: designation standardized by the Canadian Standards Association.

Terme(s)-clé(s)
  • resolution of conflict
  • resolution of conflicts
  • resolution of rule conflict
  • resolution of rule conflicts

Français

Domaine(s)
  • Intelligence artificielle
DEF

Résolution du problème des appariements multiples dans un système à base de règles par sélection de la règle la plus appropriée.

OBS

Des appariements multiples se produisent en appariement de formes ou dans la partie gauche d’une règle lorsque deux règles aboutissent à des assertions contradictoires.

CONT

S’il existe dans l’agenda des règles ayant la même priorité, la résolution de conflit est nécessaire pour sélectionner celle qui sera exécutée.

OBS

résolution de conflit : désignation et définition normalisées par l’ISO.

OBS

résolution de conflits : désignation normalisée par l’Association canadienne de normalisation.

Espagnol

Conserver la fiche 3

Fiche 4 2025-01-08

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

Indirect entity level controls ... do not directly relate to any specific [financial statement line items,] business processes or assertions and, therefore, would not by themselves prevent, or detect and correct on a timely basis, material misstatements to [an assertion or assertions]. They may, however, contribute to the effectiveness of controls.

OBS

Indirect ELCs include company-wide programs such as codes of conduct and anti-fraud programs and controls, and controls that monitor the overall effectiveness of other controls.

OBS

indirect entity level control; indirect entity-level control; indirect ELC: designations usually used in the plural.

Terme(s)-clé(s)
  • indirect entity level controls
  • indirect entity-level controls
  • indirect ELCs

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

[Les] contrôles indirects au niveau de l'entité [sont des] contrôles à l'échelle de l'entité qui ne sont pas directement associés à un poste des états financiers, à un processus opérationnel ou à des assertions précises. Ils ne suffisent donc pas à eux seuls pour prévenir, ou détecter et corriger, de manière adéquate et en temps opportun les anomalies significatives d’une ou de plusieurs assertions. Les CINE peuvent cependant contribuer à l'amélioration de l'efficacité des contrôles.

OBS

Il s’agit par exemple de programmes à l’échelle de l’entreprise, comme les codes d’éthique et les programmes et contrôles anti-fraude, ainsi que des contrôles surveillant l’efficacité globale d’autres contrôles.

OBS

contrôle indirect au niveau de l’entité : désignation habituellement utilisée au pluriel.

Terme(s)-clé(s)
  • contrôles indirects au niveau de l’entité

Espagnol

Conserver la fiche 4

Fiche 5 2025-01-08

Anglais

Subject field(s)
  • Business and Administrative Documents
  • Auditing (Accounting)
  • Government Accounting
DEF

A written statement by management provided to the auditor to confirm certain matters or to support other audit evidence.

OBS

Written representations in this context do not include financial statements, the assertions therein, or supporting books and records.

Français

Domaine(s)
  • Écrits commerciaux et administratifs
  • Vérification (Comptabilité)
  • Comptabilité publique
DEF

Affirmation écrite fournie à l’auditeur par la direction pour confirmer certains points ou étayer d’autres éléments probants.

OBS

Dans ce contexte, les déclarations écrites ne comprennent ni les états financiers, ni les assertions qu'ils contiennent, ni les livres.

Espagnol

Conserver la fiche 5

Fiche 6 2024-12-03

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Special-Language Phraseology
CONT

When assessing the [risks of material misstatement] due to fraud in revenue recognition at the assertion level, auditors may consider which assertions are relevant in the circumstances ...

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Phraséologie des langues de spécialité
CONT

Lors de l'évaluation des risques d’anomalies signifcatives résultant de fraudes dans la comptabilisation des produits au niveau des assertions, l'auditeur prend en considération les assertions qu'ils jugent pertinentes dans les circonstances.

Espagnol

Conserver la fiche 6

Fiche 7 2024-09-20

Anglais

Subject field(s)
  • Auditing (Accounting)
DEF

A representation by management, explicit or otherwise, that is embodied in the financial statements, as used by the auditor to consider the different types of potential misstatements that may occur.

OBS

Examples of assertions: occurrence, completeness, accuracy, cut-off, classification and presentation.

OBS

financial statement assertion; assertion in the financial statements; assertion: designations usually used in the plural.

Terme(s)-clé(s)
  • financial statement assertions
  • assertions in the financial statements
  • assertions

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Affirmation de la direction, explicite ou non, qui sous-tend les états financiers et auquelle se réfère l’auditeur pour examiner les différents types d’anomalies susceptibles de se produire.

OBS

Exemples d’assertions : réalité, exhaustivité, exactitude, séparation des périodes et classement.

OBS

assertion contenue dans les états financiers; assertion sous-tendant l’établissement des états financiers; assertion sous-tendant l’établissement des comptes; assertion : désignations habituellement utilisées au pluriel.

Terme(s)-clé(s)
  • assertions contenues dans les états financiers
  • assertions sous-tendant l'établissement des états financiers
  • assertions sous-tendant l'établissement des comptes
  • assertions

Espagnol

Conserver la fiche 7

Fiche 8 2024-08-29

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

Risk assessment procedures [are] audit procedures performed to obtain an understanding of the entity and its environment, including the entity's internal control, to identify and assess the risks of material misstatement, whether due to fraud or error, at the financial statement and assertion levels.

OBS

risk assessment procedure: designation usually used in the plural.

Terme(s)-clé(s)
  • risk assessment procedures

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

[Les] procédures d’évaluation des risques [sont des] procédures d’audit mises en œuvre pour acquérir une compréhension de l'entité et de son environnement, y compris de son contrôle interne, dans le but d’identifier et d’évaluer les risques d’anomalies significatives, que celles-ci résultent de fraudes ou d’erreurs, aux niveaux des états financiers et des assertions.

OBS

procédure d’évaluation des risques; procédure d’appréciation des risques : désignations habituellement utilisées au pluriel.

OBS

procédure d’appréciation des risques : Le terme «appréciation des risques» a été en usage dans les normes d’audit canadiennes jusqu’en décembre 2010, date à laquelle un consensus international a entériné l’emploi de la désignation «évaluation des risques».

Terme(s)-clé(s)
  • procédures d’évaluation des risques
  • procédures d’appréciation des risques

Espagnol

Conserver la fiche 8

Fiche 9 2024-08-29

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

For an auditor, relevant assertions are those where a risk of material misstatement is reasonably possible. So, magnitude (is the risk related to a material amount?) and likelihood (is it reasonably possible?) are both considered.

OBS

relevant assertion: designation usually used in the plural.

Terme(s)-clé(s)
  • relevant assertions

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

Pour chacun des risques d’anomalies significatives identifiés au niveau des assertions, [...] le risque inhérent [doit être évalué] en déterminant la probabilité et l'ampleur des anomalies et en [...] demandant comment, et dans quelle mesure, les facteurs de risque inhérent ont une incidence sur la possibilité que les assertions pertinentes comportent des anomalies.

OBS

assertion pertinente : désignation habituellement utilisée au pluriel.

Terme(s)-clé(s)
  • assertions pertinentes

Espagnol

Conserver la fiche 9

Fiche 10 2024-07-30

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

In assessing risks at the assertion level, an auditor considers the processes the [not-for-profit organization] uses to initiate, authorize and record transactions. An auditor is required to obtain an understanding of the relevant controls for the accounting processes that are significant to the financial statements, including evaluating the design of those controls and determining whether they have been implemented.

OBS

assertion level risk; risk at the assertion level: designations usually used in the plural.

Terme(s)-clé(s)
  • assertion level risks
  • risks at the assertion level

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

[En évaluant] les risques au niveau des assertions, l'auditeur tient compte des processus suivis par [l'organisme sans but lucratif] pour déclencher, autoriser et enregistrer les opérations. L'auditeur est tenu d’acquérir une compréhension des contrôles pertinents relatifs aux processus comptables qui sont importants pour les états financiers, et notamment d’évaluer la conception de ces contrôles et de déterminer s’ils ont été mis en place.

OBS

risque au niveau des assertions : désignation habituellement utilisée au pluriel.

Terme(s)-clé(s)
  • risques au niveau des assertions

Espagnol

Conserver la fiche 10

Fiche 11 2024-07-22

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

In an attestation engagement, the practitioner's conclusion addresses whether the subject matter information is free from material misstatement.

Terme(s)-clé(s)
  • assertion based engagement

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

Dans une mission d’attestation, la conclusion du professionnel en exercice traite de la question de savoir si l’information sur l’objet considéré est exempte d’anomalies significatives.

Espagnol

Conserver la fiche 11

Fiche 12 2024-07-12

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

An auditor performs risk assessment procedures to identify and assess risks of material misstatements in order to design appropriate responses to assessed risks. ... The identified risks must be assessed at the financial-statement level ... and at the assertion level ...

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

[Lors de l'évaluation des] risques identifiés, l'auditeur détermine s’ils sont pertinents par rapport aux états financiers pris dans leur ensemble ou seulement par rapport à certaines assertions contenues dans les états financiers. L'auditeur détermine ensuite comment [répondre à l'évaluation] des risques, au moyen de réponses globales et de réponses spécifiques adaptées aux types de risques évalués.

Espagnol

Conserver la fiche 12

Fiche 13 2024-06-11

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

An auditor performs risk assessment procedures to identify and assess risks of material misstatements in order to design appropriate responses to assessed risks. ... The identified risks must be assessed at the financial-statement level ... and at the assertion level ...

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

[Lors de l'évaluation des] risques identifiés, l'auditeur détermine s’ils sont pertinents par rapport aux états financiers pris dans leur ensemble ou seulement par rapport à certaines assertions contenues dans les états financiers. L'auditeur détermine ensuite comment [répondre à l'évaluation] des risques, au moyen de réponses globales et de réponses spécifiques adaptées aux types de risques évalués.

Espagnol

Conserver la fiche 13

Fiche 14 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A rule that produces new assertions from old, either by the application of strict logical principles or by more imperfect, plausible methods.

CONT

The inference rules include generalization rules. Their application to descriptions is constrained by problem background knowledge.

CONT

forward inference rule.

CONT

To teach the geography of Africa we would need to change only the entries in our semantic network, the structure of the network and the rules of inference remaining largely unchanged.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Règle qui permet de créer de nouvelles assertions à partir d’assertions déjà existantes; les deux règles principales sont le modus ponens [...] et la "spécialisation universelle" consistant à remplacer une variable quantifiée par une constante.

CONT

On peut distinguer des stratégies qui sont principalement inductives, déductives, abductives ou analogiques selon la nature des règles d’inférence appliquées.

Espagnol

Conserver la fiche 14

Fiche 15 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Un réseau d’inférences de type ET/OU dont les nœuds correspondent aux différents assertions de la base.

Espagnol

Conserver la fiche 15

Fiche 16 2021-10-22

Anglais

Subject field(s)
  • IT Security
  • Programming Languages
  • Internet and Telematics
DEF

An XML [Extensible Markup Language]-based security specification developed by the Organization for the Advancement of Structured Information Standards (OASIS) for exchanging authentication (and authorization) information between trusted entities over the Internet.

Français

Domaine(s)
  • Sécurité des TI
  • Langages de programmation
  • Internet et télématique
OBS

SAML : acronyme du terme anglais «Security Assertion Markup Language».

Espagnol

Campo(s) temático(s)
  • Seguridad de IT
  • Lenguaje de programación
  • Internet y telemática
OBS

SAML: acrónimo que proviene del inglés "Security Assertion Markup Language".

Conserver la fiche 16

Fiche 17 2021-08-06

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
CONT

A unification algorithm should compute for a given problem a complete, and minimal substitution set, that is, a set covering all its solutions, and containing no redundant members.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
DEF

Algorithme qui essaie de remplacer les variables inconnues, dont on cherche la valeur, par des constantes en comparant la requête et l'ensemble des assertions.

Espagnol

Conserver la fiche 17

Fiche 18 2021-07-21

Anglais

Subject field(s)
  • Computer Programs and Programming
CONT

Dynamic assertions. Support for integrity constraints that are triggered by specific database actions, such as: after update, before insertion, or constraints based on comparing old and new values of a given column.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
CONT

Assertions dynamiques. Soutien des contraintes d’intégrité associées à des opérations particulières de base de données(après mise à jour, avant insertion), ou des contraintes fondées sur la comparaison entre les anciennes et les nouvelles valeurs d’une colonne particulière.

Espagnol

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

Fiche 19 2017-01-06

Anglais

Subject field(s)
  • Auditing (Accounting)

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Procédés de vérification ou contrôle mis en œuvre dans le but de déterminer si les règles et procédures de contrôle interne qui s’inscrivent dans l'environnement de contrôle et dans les systèmes de contrôle de l'entité permettent de prévenir ou de détecter les inexactitudes importantes présentes dans les assertions contenues dans les états financiers.

Espagnol

Conserver la fiche 19

Fiche 20 2016-01-18

Anglais

Subject field(s)
  • PAJLO
  • Law of Contracts (common law)
  • Tort Law (common law)
DEF

An oral or written statement made by one party contemplating entering into a contract with another, to that other, which is intended to influence the other to contract and which is a material factor in the latter's decision to contract on the terms on which he does contract, but which is not a term of the contract itself.

OBS

Not all contractual statements are representations.

Français

Domaine(s)
  • PAJLO
  • Droit des contrats (common law)
  • Droit des délits (common law)
OBS

Les déclarations contractuelles ne sont pas toutes des assertions.

OBS

Pour rendre la forme verbale «rely on a representation», on pourra dire, par exemple, «se fier sur une assertion», «compter sur une assertion», «se fonder sur une assertion», «faire fond sur une assertion», «avoir foi en une assertion», «ce donner crédit à une assertion», «tabler sur une assertion» ou encore «se reposer sur une assertion».

OBS

assertion : terme normalisé par le Comité de normalisation, Promotion de l’accès à la justice dans les deux langues officielles (PAJLO).

Espagnol

Conserver la fiche 20

Fiche 21 2016-01-18

Anglais

Subject field(s)
  • PAJLO
  • Law of Contracts (common law)
  • Tort Law (common law)
OBS

Not everything that is spoken or written by the parties in the course of the negotiations that lead to the conclusion of a contract will amount to a term of such contract. The intention of the parties is all important. The basic distinction is between statements which are intended to be terms in the contract and statements which are meant by one party and understood by the other to be mere inducements by their maker to the other to enter into the contract.

OBS

Includes representations and terms.

Français

Domaine(s)
  • PAJLO
  • Droit des contrats (common law)
  • Droit des délits (common law)
OBS

S’entend notamment des assertions et des clauses.

OBS

déclaration contractuelle : terme normalisé par le Comité de normalisation, Promotion de l’accès à la justice dans les deux langues officielles (PAJLO).

Espagnol

Conserver la fiche 21

Fiche 22 2015-02-04

Anglais

Subject field(s)
  • Public Sector Budgeting
  • Financial and Budgetary Management
  • Government Accounting
CONT

An attestation letter formally communicates the CFO's [chief financial officer] final assertions, observations and overall conclusions based on the due diligence exercised on the information available as of the date of signature.

Français

Domaine(s)
  • Budget des collectivités publiques
  • Gestion budgétaire et financière
  • Comptabilité publique
CONT

La lettre d’attestation communique officiellement les assertions et les observations finales du DPF [dirigeant principal des finances] et la conclusion générale à laquelle il en est arrivé après avoir appliqué le processus de diligence raisonnable à l'information disponible, à la date de signature de la lettre.

Espagnol

Conserver la fiche 22

Fiche 23 - données d’organisme externe 2014-09-03

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.03.22 (2382)
numéro d'article de norme ISO/CEI
DEF

solving the problem of multiple matches in a rule-based system by selecting the most appropriate rule

OBS

Multiple matches may occur, in pattern matching or in the left-hand side of a rule, where two rules produce conflicting assertions.

OBS

conflict resolution: term and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.03.22 (2382)
numéro d'article de norme ISO/CEI
DEF

résolution du problème des appariements multiples dans un système à base de règles par sélection de la règle la plus appropriée

OBS

Des appariements multiples se produisent en appariement de formes ou dans la partie gauche d’une règle lorsque deux règles aboutissent à des assertions contradictoires.

OBS

résolution de conflit : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995].

Espagnol

Conserver la fiche 23

Fiche 24 2013-05-14

Anglais

Subject field(s)
  • Special-Language Phraseology
  • Auditing (Accounting)

Français

Domaine(s)
  • Phraséologie des langues de spécialité
  • Vérification (Comptabilité)
OBS

éléments probants confirmant la validité des assertions auditées; éléments probants confirmant la validité des assertions vérifiées : termes habituellement utilisés au pluriel.

OBS

éléments probants confirmant la validité des assertions auditées : le Bureau de la traduction du gouvernement du Canada recommande l'usage de l'adjectif «audité» dans le domaine de la comptabilité(REC-13/2013-02).

Terme(s)-clé(s)
  • élément probant confirmant la validité des assertions auditées
  • élément probant confirmant la validité des assertions vérifiées

Espagnol

Conserver la fiche 24

Fiche 25 2012-10-03

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Testing and Debugging
DEF

A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved to be true.

OBS

inductive assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Test et débogage
DEF

Technique de la preuve d’exactitude dans laquelle les assertions écrite décrivent les entrées, les sorties et les conditions intermédiaires d’un programme; un ensemble de théorèmes est élaboré, qui établit un rapport entre la satisfaction des assertions d’entrée et la satisfaction des assertions de sortie, et la validité des théorèmes est démontrée.

Espagnol

Conserver la fiche 25

Fiche 26 2011-09-01

Anglais

Subject field(s)
  • Testing and Debugging
  • Computer Programs and Programming
DEF

An indication that a program's output assertions follow logically from its input assertions, and that the program terminates under all specified input conditions.

OBS

total correctness: Term standardized by ISO/IEC and by IEEE.

Français

Domaine(s)
  • Test et débogage
  • Programmes et programmation (Informatique)
DEF

Dans la preuve d’exactitude, expression indiquant que les assertions de sortie d’un programme découlent logiquement des assertions d’entrée et des étapes du traitement et, en outre, que l'exécution du programme se termine conformément à toutes les conditions d’entrée spécifiées.

OBS

Antonyme d’exactitude partielle.

OBS

exactitude complète; correction globale : Termes normalisés par l’ISO/CEI.

Espagnol

Conserver la fiche 26

Fiche 27 2010-08-20

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Investment
  • Taxation
DEF

The assertion that an asset is owned by the entity at a given date.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Investissements et placements
  • Fiscalité
DEF

L'une des assertions contenues dans les états financiers, dont l'auditeur cherche à confirmer la validité, à savoir que, à une date donnée, les éléments d’actif portés au bilan appartenaient effectivement à l'entité faisant l'objet de la mission

OBS

Au Canada, la notion d’assertion relative aux droits et obligations a supplanté cette notion.

Espagnol

Conserver la fiche 27

Fiche 28 2010-08-20

Anglais

Subject field(s)
  • Special-Language Phraseology
  • Auditing (Accounting)
  • Financial and Budgetary Management
DEF

... the possibility that the sample results will cause the auditors not to rely enough on the control procedure and, therefore, assess control risk at too high a level.

Français

Domaine(s)
  • Phraséologie des langues de spécialité
  • Vérification (Comptabilité)
  • Gestion budgétaire et financière
DEF

Risque que l'auditeur ne s’appuie pas suffisamment sur les contrôles internes alors qu'en réalité, ceux-ci permettent de prévenir et de détecter les inexactitudes ou anomalies importantes dans les assertions que contiennent les états financiers.

Espagnol

Conserver la fiche 28

Fiche 29 2010-08-20

Anglais

Subject field(s)
  • Special-Language Phraseology
  • Auditing (Accounting)
  • Financial and Budgetary Management
DEF

... the possibility that the sample results will cause the auditors to rely too much on a control procedure and, therefore, assess control risk at too low a level.

Français

Domaine(s)
  • Phraséologie des langues de spécialité
  • Vérification (Comptabilité)
  • Gestion budgétaire et financière
DEF

Risque que l'auditeur s’appuie sur les contrôles internes alors qu'en réalité, ceux-ci ne permettent pas suffisamment de prévenir et de détecter les inexactitudes ou anomalies importantes dans les assertions que contiennent les états financiers.

Espagnol

Conserver la fiche 29

Fiche 30 2010-08-19

Anglais

Subject field(s)
  • Auditing (Accounting)

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Assertion contenue dans les états financiers, dont l’auditeur cherche à confirmer la validité, à savoir que les opérations, événements et autres éléments comptabilisés et présentés ont effectivement eu lieu et concernaient bien l’entité faisant l’objet de la mission.

OBS

L'assertion relative à la réalité entre dans la catégorie des assertions relatives aux catégories d’opérations, de même que dans la catégorie des assertions relatives à la présentation et aux informations fournies.

Espagnol

Conserver la fiche 30

Fiche 31 2010-08-06

Anglais

Subject field(s)
  • Auditing (Accounting)
DEF

The assertion that an asset or a liability of the enterprise exists at a given date.

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Assertion contenue dans les états financiers, dont l’auditeur cherche à confirmer la validité, à savoir que, à une date donnée, les actifs, les passifs et les éléments de capitaux propres inscrits au bilan existaient effectivement.

OBS

L'assertion relative à l'existence entre dans la catégorie des assertions relatives aux soldes de comptes.

Espagnol

Conserver la fiche 31

Fiche 32 2009-05-13

Anglais

Subject field(s)
  • Accounting
  • Auditing (Accounting)
  • Government Accounting
CONT

management assertions. Assertions are representations made by management that are embodied as attestation principles or components. Specific assertions that pertain to financial statements have a general relationship to assertions about internal controls for both manual and information processing systems. Assertions made regarding disclosure/internal controls can be evaluated by testing stated or measurable criteria.

OBS

management assertion; management's assertion: terms usually used in the plural.

Terme(s)-clé(s)
  • management assertions
  • management's assertions

Français

Domaine(s)
  • Comptabilité
  • Vérification (Comptabilité)
  • Comptabilité publique
DEF

assertions de direction. Assertions formulées par les dirigeants d’une entité, sur la fiabilité ou la validité desquelles le professionnel comptable est appelé à exprimer un avis.

OBS

Il peut s’agir, par exemple, des assertions de la direction concernant la fidélité de l'image donnée par des états financiers ou autres informations financières, l'efficacité du système de contrôle interne de l'entité au cours d’une période donnée, ou encore la conformité des opérations de l'entité à des clauses contractuelles.

OBS

assertion de la direction; déclaration de la direction : termes habituellements utilisés au pluriel.

Terme(s)-clé(s)
  • assertions de la direction
  • déclarations de la direction

Espagnol

Conserver la fiche 32

Fiche 33 2008-10-03

Anglais

Subject field(s)
  • Accounting
  • Auditing (Accounting)
CONT

External evidence originates outside the client's organization. Examples include bank statements, suppliers invoices, insurance policies, etc.

Français

Domaine(s)
  • Comptabilité
  • Vérification (Comptabilité)
DEF

Éléments probants émanant de tiers, composés des pièces de source ou d’agrément externe, par exemple les factures des fournisseurs ou les chèques payés, et des autres éléments justificatifs, par exemple les confirmations orales ou écrites de leur compte par les débiteurs, que l'auditeur recueille et évalue à l'égard des assertions qu'il doit valider.

OBS

Aux fins de l’audit, les éléments probants de source externe sont généralement considérés comme plus fiables que les éléments probants de source interne.

Espagnol

Conserver la fiche 33

Fiche 34 2008-10-03

Anglais

Subject field(s)
  • Financial Accounting
  • Auditing (Accounting)
CONT

Internal Evidence. Created and used and retained within the client's organization and without its generally going to outside party. Examples: sales invoices duplicate copy, employees' time reports, inventory reports, counterfoils of receipts, purchase requisitions.

Français

Domaine(s)
  • Comptabilité générale
  • Vérification (Comptabilité)
DEF

Éléments probants émanant de l'entité cliente, composés de documents ou pièces produits pour usage interne, par exemple les comptes et rapports comptables, et d’autres éléments justificatifs, par exemple les déclarations orales ou écrites faites par la direction et les employés, que l'auditeur recueille et évalue à l'égard des assertions qu'il doit valider.

OBS

Aux fins de l’audit, les éléments probants de source interne ne sont généralement pas considérés comme aussi fiables que les éléments probants de source externe.

Espagnol

Conserver la fiche 34

Fiche 35 2007-05-01

Anglais

Subject field(s)
  • Auditing (Accounting)

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

L'une des assertions contenues dans les états financiers dont l'auditeur cherche à confirmer la validité, à savoir que chaque actif ou passif porté au bilan a été inscrit dans les comptes à une valeur appropriée.

OBS

L’assertion relative à l’évaluation laisse entendre, que les ventes et les comptes clients sont correctement chiffrés et que la provision pour créances douteuses (ou réduction de valeur sur créances douteuses) est adéquate.

Espagnol

Conserver la fiche 35

Fiche 36 2006-12-16

Anglais

Subject field(s)
  • Social Psychology
  • Physical Education, Coaching and Sport Psychology
CONT

Self-categorization theory is a social psychological theory developed by John Turner (1985) and colleagues (Turner, Hogg, Oakes, Reicher & Wetherell, 1987). In simple terms, the theory postulates that at different times we perceive ourselves as unique individuals and at other times as members of groups and that these two are equally valid expressions of self... Self-categorization theory has been applied to many processes in social psychology, in particular social stereotyping, social judgment, crowd behaviour, small group processes, but arguably its most extensive application to date has been the explanation of social influence...

Français

Domaine(s)
  • Psychologie sociale
  • Éducation physique, entraînement des athlètes et psychologie du sport
CONT

Selon la TAC, le fonctionnement du concept de soi dépend de la situation. Le concept de soi comprend de nombreuses composantes. Parmi ces différentes «images de soi» possibles, certaines seront rendues saillantes en fonction de la situation spécifique dans laquelle l’individu se trouve.

CONT

L'Europe comme objet de recherches permettrait ainsi aux psychosociologues de valider(ou réfuter) les assertions de Turner(Mlicki & Ellemers, 1996 ;Huici et al., 1997) quant à la source d’explications universelles des conflits intergroupes que serait la théorie de l'auto-catégorisation(TAC)(1985, 1987).

Espagnol

Conserver la fiche 36

Fiche 37 2006-10-05

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

The audit should have necessary and sufficient observations to support conclusions made against each audit objective... Adverse conclusion is given when the significance and extent of the deviations from satisfactory performance are pervasive...

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Dans un rapport de mission, conclusion exprimée par le professionnel comptable dans laquelle il formule une restriction au motif que les informations ou autres éléments considérés ne sont pas conformes aux critères retenus, que les assertions préparées par la direction sont jugées inappropriées au regard de ces critères, ou que des informations essentielles ne sont pas présentées ou sont présentées de manière inappropriée.

OBS

Dans son rapport de mission, le professionnel exprime une conclusion défavorable lorsque l’incidence des éléments donnant lieu à la restriction est d’une gravité telle qu’il juge insuffisante l’expression d’une conclusion assortie d’une simple réserve.

Espagnol

Conserver la fiche 37

Fiche 38 2006-10-05

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Government Accounting
DEF

The assertion that the financial statements contain all data required for a fair presentation of information, i.e. there are no unrecorded assets, liabilities or transactions.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Comptabilité publique
DEF

L'une des assertions contenues dans les états financiers dont l'auditeur cherche à confirmer la validité, à savoir qu'aucun élément d’actif ou de passif ni aucune opération n’ a été omis.

OBS

Par exemple, pour apprécier l’intégralité des comptes clients, il faut recueillir suffisamment d’éléments probants pour s’assurer que tous les biens vendus et tous les services fournis ont été facturés, et que toutes les factures impayées sont incluses dans les comptes clients.

Espagnol

Conserver la fiche 38

Fiche 39 - données d’organisme externe 2006-02-01

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
31.01.07 (2382)
numéro d'article de norme ISO/CEI
DEF

building a concept representation by applying existing knowledge to new information in order to derive new knowledge and store it for subsequent use

OBS

Concept learning may involve an interaction between the version space and the example space of that concept. This interaction may in turn involve reformulation or transformation of initial assertions, experimentation, and selection of tentative examples.

OBS

concept learning: term and definition standardized by ISO/IEC [ISO/IEC 2382-31:1997].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
31.01.07 (2382)
numéro d'article de norme ISO/CEI
DEF

construction de la représentation d’un concept en appliquant les connaissances existantes à de nouvelles informations afin d’obtenir de nouvelles connaissances et de les stocker pour usage ultérieur

OBS

L'apprentissage de concept présuppose une interaction entre l'espace de versions et l'espace d’exemples de ce concept. Cette interaction peut à son tour exiger une reformulation ou une transformation des assertions initiales, une expérimentation et un choix d’exemples provisoires.

OBS

apprentissage de concept : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-31:1997].

Espagnol

Conserver la fiche 39

Fiche 40 - données d’organisme externe 2006-02-01

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
31.03.17 (2382)
numéro d'article de norme ISO/CEI
DEF

learning strategy in which new knowledge is deduced from existing knowledge by means of truth-preserving transformations of assertions

OBS

Deductive learning generally leads to specialization of existing knowledge.

OBS

Deductive learning includes knowledge reformulation, knowledge compilation, and other truth-preserving transformations.

OBS

deductive learning; learning by deduction: terms and definition standardized by ISO/IEC [ISO/IEC 2382-31:1997].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
31.03.17 (2382)
numéro d'article de norme ISO/CEI
DEF

stratégie d’apprentissage qui permet de déduire de nouvelles connaissances en appliquant aux assertions disponibles des transformations qui préservent la valeur de vérité

OBS

En règle générale, l’apprentissage déductif entraîne une spécialisation des connaissances acquises.

OBS

L’apprentissage déductif comprend la reformulation et la compilation des connaissances ainsi que d’autres transformations qui préservent la valeur de vérité.

OBS

apprentissage déductif : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-31:1997].

Espagnol

Conserver la fiche 40

Fiche 41 - données d’organisme externe 2006-01-30

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.07.30 (2382)
numéro d'article de norme ISO/CEI
DEF

correctness proving indicating that a program's output assertions follow logically from its input assertions and processing steps

OBS

partial correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.07.30 (2382)
numéro d'article de norme ISO/CEI
DEF

démonstration d’exactitude montrant que les assertions de sortie d’un programme découlent logiquement de ses assertions d’entrée et des étapes de traitement

OBS

correction partielle; exactitude partielle : termes et définition normalisés par l’ISO/CEI [ISO/IEC 2382-7:2000].

Espagnol

Conserver la fiche 41

Fiche 42 - données d’organisme externe 2006-01-30

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.07.31 (2382)
numéro d'article de norme ISO/CEI
DEF

correctness proving indicating that a program's output assertions follow logically from its input assertions and processing steps, and that, in addition, the program terminates under all specified input conditions

OBS

total correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.07.31 (2382)
numéro d'article de norme ISO/CEI
DEF

démonstration d’exactitude montrant que non seulement les assertions de sortie d’un programme découlent logiquement des assertions d’entrée et des étapes de traitement, mais encore que le programme se termine pour toutes les conditions d’entrée spécifiées

OBS

correction globale; exactitude complète : termes et définition normalisés par l’ISO/CEI [ISO/IEC 2382-7:2000].

Espagnol

Conserver la fiche 42

Fiche 43 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 43

Fiche 44 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 44

Fiche 45 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 45

Fiche 46 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 46

Fiche 47 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 47

Fiche 48 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic assertions Support for integrity constraints that are triggered by specific database actions, such as: after update, before insertion, or constraints based on comparing old and new values of a given column.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Assertions dynamiques Soutien des contraintes d’intégrité associées à des opérations particulières de base de données(après mise à jour, avant insertion), ou des contraintes fondées sur la comparaison entre les anciennes et les nouvelles valeurs d’une colonne particulière.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 48

Fiche 49 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 49

Fiche 50 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic assertions Support for integrity constraints that are triggered by specific database actions, such as: after update, before insertion, or constraints based on comparing old and new values of a given column.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Assertions dynamiques Soutien des contraintes d’intégrité associées à des opérations particulières de base de données(après mise à jour, avant insertion), ou des contraintes fondées sur la comparaison entre les anciennes et les nouvelles valeurs d’une colonne particulière.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 50

Fiche 51 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 51

Fiche 52 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 52

Fiche 53 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 53

Fiche 54 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic assertions Support for integrity constraints that are triggered by specific database actions, such as: after update, before insertion, or constraints based on comparing old and new values of a given column.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Assertions dynamiques Soutien des contraintes d’intégrité associées à des opérations particulières de base de données(après mise à jour, avant insertion), ou des contraintes fondées sur la comparaison entre les anciennes et les nouvelles valeurs d’une colonne particulière.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 54

Fiche 55 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 55

Fiche 56 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 56

Fiche 57 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 57

Fiche 58 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 58

Fiche 59 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 59

Fiche 60 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 60

Fiche 61 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Dynamic triggers. Support for triggering a sequence of database actions based on a specific database action, such as after delete, thereby supporting the object notion of encapsulation. Assertions and Triggers make it possible for object self-management to be fully specified in a database schema, with increased opportunity for performance optimization by the underlying database management system.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Déclencheurs dynamiques. Soutien du déclenchement d’une suite d’opérations de base de données associée à une opération particulière de base de données(p. ex. après suppression) et qui permet également le soutien de la notion objet de l'encapsulage. Les assertions et les déclencheurs permettent une définition intégrale de l'autogestion d’objet dans un schéma de base de données tout en offrant au système de gestion de base de données sous-jacent une possibilité accrue d’optimisation de la performance.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 61

Fiche 62 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 62

Fiche 63 2002-10-11

Anglais

Subject field(s)
  • Programming Languages
  • Computer Display Technology
  • Computer Programs and Programming
CONT

Full SQL adds provisions for connection management, session management, pre-defined character translations and form-of-use conversions, a BIT string data type, deferrable integrity constraints, derived tables in the FROM clause, subqueries in CHECK clauses, insensitive cursors, self-referencing data operations, assertions and temporary tables.

Français

Domaine(s)
  • Langages de programmation
  • Techniques d'affichage (Ordinateurs)
  • Programmes et programmation (Informatique)
CONT

Le SQL intégral ajoute des dispositions sur la gestion de connexion, la gestion de session, les traductions de caractères prédéfinis et les conversions de mode d’utilisation, un type de données de chaîne de bits(BIT), des contraintes d’intégrité reportables, des tables dérivées de clause FROM, des sous-interrogations de clauses CHECK, des curseurs indépendants, des opérations de données auto référentielles, des assertions et des tables temporaires.

OBS

Termes (et définitions) tirés de « Langage de bases de données SQL Annexe A - Fonctions offertes par les normes qui incluent la norme NCTTI SQL » publiée par le Conseil du Trésor.

Espagnol

Conserver la fiche 63

Fiche 64 2000-07-18

Anglais

Subject field(s)
  • Examinations and Competitions (Education)
  • Psychometry and Psychotechnology
DEF

a test in which the testee has to mark items as either 'true' or 'false'.

Terme(s)-clé(s)
  • right and wrong test

Français

Domaine(s)
  • Docimologie
  • Psychométrie et psychotechnique
DEF

Méthode de présentation pour un test comportant des assertions ou des réponses à des questions suivies de la mention vrai-faux, le sujet devant souligner l'un ou l'autre des termes de cette alternative.

CONT

(...) l’élève étant obligé de choisir une bonne réponse parmi plusieurs possibilités, il peut arriver qu’on lui accorde des points pour une bonne réponse devinée. Cette éventualité devient d’autant plus probable que le nombre de possibilités diminue (dans le test vrai-faux, par exemple).

Espagnol

Conserver la fiche 64

Fiche 65 1999-09-23

Anglais

Subject field(s)
  • Auditing (Accounting)
CONT

...the risk of not detecting a material misstatement arising from environmental matters to an appropriately low level for certain assertions related to liabilities, contingencies, assets and commitments.

CONT

"the risk of not detecting a material misstatement in the financial statements is reduced to an appropriately low level".

OBS

Source(s): CICA [Canadian Institute of Chartered Accountants] Handbook, August-22, p. 1.

Français

Domaine(s)
  • Vérification (Comptabilité)
CONT

... ramener à un niveau suffisamment faible le risque de non-détection d’une inexactitude importante résultant d’éléments environnementaux pour certaines assertions relatives aux passifs, aux éventualités et aux engagements.

CONT

«le risque de ne pas déceler une inexactitude importante dans les états financiers soit ramené à un niveau suffisamment faible».

OBS

Source(s) : Note d’orientation sur la vérification des états financiers sur lesquels des éléments environnementaux ont une incidence.

OBS

Source(s) : Manuel de l’ICCA [Institut canadien des comptables agréés], novembre 22, p. 2.

Espagnol

Conserver la fiche 65

Fiche 66 1999-07-19

Anglais

Subject field(s)
  • General Vocabulary
  • Phraseology

Français

Domaine(s)
  • Vocabulaire général
  • Phraséologie

Espagnol

Conserver la fiche 66

Fiche 67 1999-05-19

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
DEF

A statement derived from premises rather than assumed.

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle
DEF

Formule bien formée obtenue par l’application correcte de règles d’inférence à partir d’axiomes.

CONT

Une base de connaissances comprend des assertions et un ensemble de «théorèmes», procédures activées chaque fois que la base de donnée est modifiée et que les préconditions des théorèmes sont vérifiées.

Espagnol

Conserver la fiche 67

Fiche 68 1999-02-10

Anglais

Subject field(s)
  • Auditing (Accounting)
OBS

Compare to «financial statement assertions».

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

Ensemble de propositions de base à l'égard de l'existence, de l'efficacité et de la continuité des systèmes de contrôle interne. Le vérificateur(auditeur, réviseur) pose l'hypothèse que les contrôles internes sur lesquels il compte s’appuyer fonctionnent comme il les a compris et qu'ils sont appliqués efficacement durant toute la période pour laquelle il a l'intention de s’appuyer sur eux. Il cherche à confirmer la validité de ces diverses assertions en ayant recours aux procédés(ou contrôles) de conformité.

Espagnol

Conserver la fiche 68

Fiche 69 1998-08-20

Anglais

Subject field(s)
  • Auditing (Accounting)

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

L'une des assertions à l'égard du contrôle interne, dont le vérificateur(auditeur, réviseur) cherche à confirmer la validité, à savoir que le contrôle interne en place dans l'entité faisant l'objet de la mission fonctionne efficacement. La notion de fonctionnement efficace ne signifie pas qu'il y aurait absence totale d’écarts de conformité, mais que, aux fins de la mission, on peut considérer que le contrôle est efficace et satisfaisant, si ces écarts ne dépassent pas un niveau acceptable; en d’autres mots, on suppose que les fraudes ou les irrégularités dont le montant est important seront évitées ou décelées à temps par les membres du personnel de l'entité dans le cours normal de l'exécution de leurs tâches.

Espagnol

Conserver la fiche 69

Fiche 70 1998-04-30

Anglais

Subject field(s)
  • Auditing (Accounting)

Français

Domaine(s)
  • Vérification (Comptabilité)
DEF

L'une des assertions à l'égard du contrôle interne, dont le vérificateur(auditeur, réviseur) cherche à confirmer la validité, à savoir que le contrôle interne en place dans l'entité faisant l'objet de la mission a fonctionné efficacement, sans interruption, pendant toute la période pour laquelle le vérificateur a l'intention de s’appuyer sur le contrôle interne.

Espagnol

Conserver la fiche 70

Fiche 71 1995-10-12

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Testing and Debugging
DEF

In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps.

OBS

Contrast with total correctness.

OBS

partial correctness: Term standardized by ISO/IEC; Term and definition standardized by IEEE.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Test et débogage
DEF

Dans une preuve d’exactitude, expression indiquant que les assertions de sortie d’un programme proviennent logiquement de ses assertions d’entrée et des étapes du traitement.

OBS

Antonyme d’exactitude totale.

OBS

exactitude partielle; correction partielle : Termes normalisés par l’ISO/CEI.

Espagnol

Conserver la fiche 71

Fiche 72 1994-06-02

Anglais

Subject field(s)
  • Accounting

Français

Domaine(s)
  • Comptabilité
OBS

Source(s) : Note d’orientation sur la vérification des états financiers sur lesquels des éléments environnementaux ont une incidence.

Espagnol

Conserver la fiche 72

Fiche 73 1993-09-24

Anglais

Subject field(s)
  • Dietetics
  • Labelling (Packaging)
CONT

low-cholesterol food.

Français

Domaine(s)
  • Diététique
  • Étiquetage (Emballages)
CONT

Concernant les produits dont le nom est accompagné d’allégations nutritionnelles("pauvre en cholestérol", "riche en fibres"), obligation est également faite de justifier ces assertions en indiquant la composition nutritionnelle de l'aliment.

Espagnol

Conserver la fiche 73

Fiche 74 1993-05-20

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
DEF

Un logiciel, spécialiste en transformation d’expressions.

DEF

Système par lequel on déduit à partir d’assertions de base réputées vraies, d’autres assertions également vraies en appliquant des règles consistant généralement à substituer dans une expression à une sous-expression une autre expression que l'on sait déjà être équivalente à la première.

DEF

Quand on a obtenu les paires critiques, on utilise le système de réécriture pour mettre chaque composant sous forme normale et si elles ne sont pas syntactiquement identiques on crée une nouvelle règle en orientant la paire selon des critères d’ordre supposés connus.

Espagnol

Conserver la fiche 74

Fiche 75 1993-04-16

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Government Accounting
DEF

An auditing procedure used for determining whether the policies and procedures within the control environment and control systems are effective in preventing or detecting material misstatements in financial statement assertions.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Comptabilité publique
DEF

Procédé de vérification qui sert à déterminer si les lignes directrices et les mécanismes de contrôle qui s’inscrivent dans l'environnement de contrôle et dans les systèmes de contrôle permettent de prévenir et de détecter les inexactitudes importantes dans les assertions contenues dans les états financiers.

Espagnol

Conserver la fiche 75

Fiche 76 1992-10-20

Anglais

Subject field(s)
  • Chemistry
  • Artificial Intelligence
DEF

A state that occurs when a material is about to change from a gas into a liquid, etc.

OBS

Compare to dynamic and static states.

CONT

At the saddle point of a col linking two potential wells, the direction of maximum negative curvature defines the reaction coordinate; the transition state is a hypothetical system of reduced dimensionality, free to move only on a hypersurface perpendicular to the reaction coordinate at its point of maximum energy.

Français

Domaine(s)
  • Chimie
  • Intelligence artificielle
DEF

Etat [de l'objet] où l'hypothèse a été suggérée par différentes assertions mais pas suffisamment pour être mise sur la liste des hypothèses courantes.

CONT

Selon Szolovitz, les objets peuvent se trouver dans trois états : actif, semi-actif et inactif.

Espagnol

Conserver la fiche 76

Fiche 77 1992-10-16

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Let us formulate a general paradigm for inductive inference: Given observational statements (facts), F, that represent specific knowledge about some objects, situations, processes, and so on, tentative inductive assertion, and background knowledge, find an inductive assertion (hypothesis), H, that tautologically or weakly implies the observational statements, and satisfies the background knowledge.

Français

Domaine(s)
  • Intelligence artificielle
CONT

A l'opposé d’une règle sélective, une règle constructive produit des généralisations qui peuvent porter sur des attributs n’ apparaissant pas dans les assertions factuelles dont on part.

Espagnol

Conserver la fiche 77

Fiche 78 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

In a semantic network, an inst-link between two objects, A and B, signifies that A is an instance of B, or that A is a member of the class B.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Une généralisation d’instance à classe correspond à des liens Instancede : une assertion généralisée concernant une classe est inférée à partir d’assertions concernant des instances spécifiques de cette classe.

Espagnol

Conserver la fiche 78

Fiche 79 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

... a selective rule of generalization ... does not introduce any new descriptors.

OBS

Selective rules of generalization do not change the space of possible inductive assertions, while constructive rules do change it.

Français

Domaine(s)
  • Intelligence artificielle
CONT

A l'opposé d’une règle sélective, une règle constructive produit des généralisations qui peuvent porter sur des attributs n’ apparaissant pas dans les assertions factuelles dont on part.

Espagnol

Conserver la fiche 79

Fiche 80 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Constructive generalization rules generate inductive assertions that use descriptors not present in the original observational statements.

OBS

Selective rules of generalization do not change the space of possible inductive assertions, while constructive rules do change it.

Français

Domaine(s)
  • Intelligence artificielle
CONT

A l'opposé d’une règle sélective, une règle constructive produit des généralisations qui peuvent porter sur des attributs n’ apparaissant pas dans les assertions factuelles dont on part.

Espagnol

Conserver la fiche 80

Fiche 81 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

An ISA-link between two objects, A and B, strictly signifies that A is a subset of B. It represents the relationship of two objects in a hierarchical taxonomy.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Une généralisation de classe à classe correspond à des liens inférés à partir d’assertions concernant des sous-classes spécialisées.

OBS

Voir "hiérarchie est-une".

Espagnol

Conserver la fiche 81

Fiche 82 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
CONT

Une généralisation de classe à classe correspond à des liens Isa : une assertion généralisée concernant une surclasse est inférée à partir d’assertions concernant des sous-classes spécialisées.

Espagnol

Conserver la fiche 82

Fiche 83 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

In part-to-whole generalization, the task is to hypothesize a description of a whole object (scene, situation, process), given selected parts of it.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Une généralisation de partie à tout(ou structurelle correspond à des liens Partie de : une assertion généralisée concernant un concept structuré(par exemple, ayant la structure d’un produit cartésien ou d’une suite) est inférée à partir d’assertions concernant des composants spécifiques de ce concept.

Espagnol

Conserver la fiche 83

Fiche 84 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

In instance-to-class generalization, the system is given independent instances (examples) of some class of objects, and the goal is to induce a general description of the class. Most research done on learning from examples has concentrated on such instance- to-class generalization.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Une généralisation d’instance à classe correspond à des liens Instance de : une assertion généralisée concernant une classe est inférée à partir d’assertions concernant des instances spécifiques de cette classe.

Espagnol

Conserver la fiche 84

Fiche 85 1989-12-08

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
DEF

Branch of symbolic logic that deals with statements or propositions and the connections between them.

CONT

The two-element boolean algebra can be identified with elementary logic or propositional calculus. A proposition is a statement that can be said to be either true or false.

CONT

The "Logic Theorist" or simply LT ... proves theorems in propositional calculus (also called sentential calculus, or boolean algebra - q.v.)

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
DEF

Se définit d’une part par sa syntaxe régissant l'ensemble des assertions exprimables dans le langage et d’autre part par ses règles d’inférence décrivant comment on peut créer de nouvelles assertions à partir d’anciennes.

OBS

Aussi appelé logique propositionnelle.

Espagnol

Conserver la fiche 85

Fiche 86 1989-12-06

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Qui procède à partir d’assertions.

Espagnol

Conserver la fiche 86

Fiche 87 1989-01-18

Anglais

Subject field(s)
  • Testing and Debugging
  • Computer Programs and Programming
DEF

Probes, such as instructions or assertions, inserted into a computer program to facilitate execution monitoring, proof of correctness, resource monitoring, or other activities.

OBS

program instrumentation: STD-IEEE (term and definition).

Français

Domaine(s)
  • Test et débogage
  • Programmes et programmation (Informatique)
DEF

Sondes, telles que des instructions ou des assertions, insérées dans un programme machine pour faciliter la surveillance de l'exécution et le contrôle de l'exactitude et des ressources ou d’autres activités.

Espagnol

Conserver la fiche 87

Fiche 88 1988-11-01

Anglais

Subject field(s)
  • Artificial Intelligence
OBS

French concept created by Harald Wertz. Contrast with O. Selfridge's demon and Hewitt's actor.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Description symbolique de l’activité d’une fonction LISP standard accompagnée d’un énoncé sur ses conditions d’applicabilité.

CONT

Un spécialiste est(de même que les contrats de Hewitt) un mécanisme de préréquisites, sans limite de complexité, couplé avec un mécanisme de postréquisites. Toutefois, nous distinguons nos spécialistes des contrats de Hewitt : alors que les contrats expriment des assertions procédurales sur l'activité des procédures associées, nos spécialistes travaillent dans un univers plus symbolique : des connaissances sur le type ou la structure des arguments et des valeurs de la procédure associée nous sont souvent suffisantes. Un spécialiste se compose de trois parties : un énoncé des conditions qu'il compte voir satisfaites quand il est invoqué, un énoncé des conditions obtenues si la fonction associée est appelée, et un énoncé des objections à transmettre au module correcteur, si les conditions ne sont pas satisfaites.

OBS

Aux démons de Selfridge correspondent, dans notre système, les modules "spécialistes" possédant des connaissances extrêmement limitées et particularisées. Alors que la hiérarchie des démons débute à un niveau très élémentaire (démons spécialisés dans l’extraction de caractéristiques des stimuli externes) nous commençons à utiliser les spécialistes à un niveau conceptuel plus élevé : ils modélisent les processus intellectuels mis en jeu durant la compréhension d’un programme. Dans les Termes de Selfridge, nous ne nous intéressons pas au démons individuel, mais au fonctionnement des différents groupes, déjà complexes, de démon, i.e. aux "démons cognitifs" (Lindsay77).

Espagnol

Conserver la fiche 88

Fiche 89 1986-01-18

Anglais

Subject field(s)
  • Translation
  • Language Problems

Français

Domaine(s)
  • Traduction
  • Problèmes de langue

Espagnol

Conserver la fiche 89

Fiche 90 1985-09-12

Anglais

Subject field(s)
  • Advertising

Français

Domaine(s)
  • Publicité

Espagnol

Conserver la fiche 90

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

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

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 :