TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A logical operator which joins each row from the first... input with each row from the second... input.  1, fiche 1, Anglais, - cross%20join

Record number: 1, Textual support number: 1 OBS

It can also be called a Cartesian join, since it returns the Cartesian product of the two tables.  1, fiche 1, Anglais, - cross%20join

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

End-to-end network slicing... allows the operator to provide dedicated logical/virtual networks for specific requirement and functionality each having their own unique properties.  2, fiche 2, Anglais, - end%2Dto%2Dend%20network%20slicing

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

An operator, i. e. a logical symbol binding a variable, is called the abstraction operator if it transforms a sentential formula into a name of the set of those things which satisfy that formula.  2, fiche 3, Anglais, - abstraction%20operator

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A condition that cannot be decomposed, i. e., a condition that does not contain two or more single conditions joined by a logical operator(AND, OR, XOR).  2, fiche 4, Anglais, - atomic%20condition

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Condition qui ne peut pas être décomposée, i.e, une condition qui ne contient pas plus de deux conditions jointes par un opérateur logique (ET, OU, OU exclusif).  2, fiche 4, Français, - condition%20atomique

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

En informática, condición básica de calificación en una pregunta, consistente en el nombre de una unidad de datos, una operación lógica y un valor; por ejemplo, sexo = femenino.  1, fiche 4, Espagnol, - condici%C3%B3n%20at%C3%B3mica

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

An operator or word, such as AND, OR, OR ELSE, IF THEN, etc., which makes new statements from given statements.  4, fiche 5, Anglais, - logical%20operator

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Connecteur tel OU, ET, OU-ALORS, SI-ALORS servant à construire des énoncés à partir d'autres énoncés. La valeur de vérité des nouveaux énoncés peut être calculée à partir de celle des énoncés de départ et du sens logique de l'opérateur.  3, fiche 5, Français, - op%C3%A9rateur%20logique

Record number: 5, Textual support number: 1 CONT

Opérateur aléthique, opérateur déontique, opérateur lambda, opérateur logique primaire, opérateur modal, opérateur temporel.  3, fiche 5, Français, - op%C3%A9rateur%20logique

Record number: 5, Textual support number: 1 OBS

Les opérateurs de la logique modale portent sur les formules logiques pour en modifier l'interprétation ou la programmation logique. Les opérateurs sont préfixés, postfixés ou infixés.  3, fiche 5, Français, - op%C3%A9rateur%20logique

Fiche 5,  Justifications,  Espagnol

Record number: 5, Textual support number: 1 DEF

Operador o palabra que conecta enunciados y permite, de esta forma, la determinación de verdades o falsedades de los enunciados o expresiones originadas, basándose en los enunciados individuales [...]  1, fiche 5, Espagnol, - operador%20l%C3%B3gico

Record number: 5, Textual support number: 1 OBS

operador lógico: Concepto genérico que comprende al más específico "operador booleano", por lo tanto no pueden tratarse estos dos términos como sinónimos.  2, fiche 5, Espagnol, - operador%20l%C3%B3gico

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

The boolean operator that gives a truth table value of true only when both of the variables connected by the logical operator are false, i. e., the negation of inclusive OR.  3, fiche 6, Anglais, - NOR

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Opérateur booléen élémentaire [...] constitué d'un opérateur OU-inclusif suivi d'une inversion du résultat.  2, fiche 6, Français, - non%2Dou

Fiche 6,  Justifications,  Espagnol

Record number: 6, Textual support number: 1 DEF

Operador de Boole, que da un valor verdadero de tabla de verdad, solamente cuando son falsas las variables conectadas por el operador lógico; por ejemplo, la negación de «O» inclusivo.  3, fiche 6, Espagnol, - operador%20l%C3%B3gico%20NO%2DO

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 OBS

Justification proposed by Intergraph : The logical negation operator(!) can be placed in front of any other test expression to negate the result of the evaluation.  1, fiche 7, Anglais, - logical%20negation%20operator

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 OBS

Justification proposed by Intergraph : The logical negation operator can be placed in front of any other test expression to negate the result of the evaluation.  1, fiche 8, Anglais, - test%20expression

Fiche 8,  Justifications,  Français

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 OBS

A logical operator used in Ada.  2, fiche 9, Anglais, - short%20circuit%20control%20form

Fiche 9,  Justifications,  Français

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 DEF

A prefix that binds the variables in a logical formula by specifying their quantity. See existential operator, universal quantifier.  1, fiche 10, Anglais, - logical%20quantifier

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 CONT

Parmi les tentatives de donner plus de rigueur aux représentations en réseaux sémantiques, citons (...) l'introduction de la logique du premier ordre, c'est-à-dire principalement la possibilité d'utiliser les quantifieurs logiques dans les réseaux.  2, fiche 10, Français, - quantificateur%20logique

Fiche 10,  Justifications,  Espagnol