TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

[A mode that defines] the logical truth values(true and false) with the usual boolean operations.  2, fiche 1, Anglais, - boolean%20mode

Record number: 1, Textual support number: 1 CONT

Supported boolean search operators when in boolean mode are: and, or, not, near (unordered proximity search), onear (ordered proximity search).  3, fiche 1, Anglais, - boolean%20mode

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Les recherches effectuées dans le mode booléen n'utilisent pas le seuil de 50 % et ne trient pas automatiquement le résultat par ordre décroissant de pertinence.  2, fiche 1, Français, - mode%20bool%C3%A9en

Fiche 1,  Justifications,  Espagnol

Record number: 1, Textual support number: 1 CONT

Un modo booleano define los valores lógicos de verdad ( TRUE y FALSE ) con las operaciones booleanas usuales.  1, fiche 1, Espagnol, - modo%20booleano

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

The true elaboration of concepts, meanings, or implications that is relatively independent of external existence or non existence. The truth that certain premises give a certain conclusion is a formal truth.  3, fiche 2, Anglais, - logical%20truth

Record number: 2, Textual support number: 1 CONT

An expert system has various search techniques, interface controllers, a truth maintenance system(for discovering logical truths), and a vocabulary of concepts.  3, fiche 2, Anglais, - logical%20truth

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Caractère d'un fait intellectuel (jugement, pensée) qui est conforme à son objet, au réel; valeur d'une connaissance.  2, fiche 2, Français, - v%C3%A9rit%C3%A9%20logique

Record number: 2, Textual support number: 1 OBS

Il existe des vérités de langage qui ne sont pas en même temps des vérités logiques, et des vérités de fait qui ne sont pas des vérités de langage.  3, fiche 2, Français, - v%C3%A9rit%C3%A9%20logique

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A complete mathematical argument, presenting the full logical justification for each proof step, and for the truth of a theorem or set of theorems.  2, fiche 3, Anglais, - formal%20proof

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

The basic principles and application of truth tables and interconnection between logical elements required for arithmetic computation in an automatic data processing system.  2, fiche 4, Anglais, - logic

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

La logique est à la base de toute l'informatique. Dans le domaine du hardware la logique désigne plus particulièrement l'étude des circuits logiques en s'opposant à leur technologie.  1, fiche 4, Français, - logique

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

Secuencia de instrucciones en un programa.  2, fiche 4, Espagnol, - l%C3%B3gica

Fiche 5,  Justifications,  Anglais

Record number: 5, 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 5, Anglais, - NOR

Fiche 5,  Justifications,  Français

Record number: 5, 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 5, Français, - non%2Dou

Fiche 5,  Justifications,  Espagnol

Record number: 5, 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 5, Espagnol, - operador%20l%C3%B3gico%20NO%2DO

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 OBS

To the individual man, i. e. relating to the principles or preferences of a particular person rather than to abstract truth or logical cogency.  2, fiche 6, Anglais, - ad%20hominem

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 OBS

Qui est dirigé contre la personne de l'adversaire (en lui opposant ses actes ou ses déclarations).  1, fiche 6, Français, - ad%20hominem

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

A Bayesian link between premises and conclusions is defined by the weight with which the truth of premises supports the truth of conclusions. The difference between a logical link and a Bayesian link is that the former changes the degree of the conclusion to a specific value, while the latter changes the degree of the conclusion proportionately according to the weight of the link and the certainty of the user's facts.  1, fiche 7, Anglais, - Bayesian%20link

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 OBS

Voir système bayesien, reconnaisseur bayesienne, etc.  1, fiche 7, Français, - lien%20bayesien

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

The inference strategy used in logical systems to determine the truth of an assertion. This complex, but highly effective, method establishes the truth of an assertion by determining that a contradiction is encountered when one attempts to resolve clauses, one of which is a negation of the thesis one seeks to assert.  3, fiche 8, Anglais, - resolution%20method

Record number: 8, Textual support number: 1 CONT

In computation, logical arguments are found to be true or false through the resolution method which is used on propositions ...  4, fiche 8, Anglais, - resolution%20method

Record number: 8, Textual support number: 2 CONT

Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms.  5, fiche 8, Anglais, - resolution%20method

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 DEF

Principe dû au mathématicien français Jacques Herbrand, repris et programmé par Alan Robinson, qui systématise le raisonnement par l'absurde : pour démontrer que le théorème p alors g s'applique, le principe de la résolution cherche à prouver que la proposition "p et non g" est contradictoire.  3, fiche 8, Français, - principe%20de%20r%C3%A9solution

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 CONT

[The Metalevel Representation System] has various search techniques, interface controllers, a truth maintenance system(for discovering logical truths), and a vocabulary of concepts.  1, fiche 9, Anglais, - vocabulary%20of%20concepts

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 DEF

Ensemble des concepts opératoires utilisés par l'expert.  1, fiche 9, Français, - vocabulaire%20de%20connaissances

Record number: 9, Textual support number: 1 CONT

Il faut que le domaine de connaissance puisse être facilement circonscrit et que le vocabulaire minimal permettant de décrire toutes les situations envisageables, soit limité à quelques centaines de mots.  1, fiche 9, Français, - vocabulaire%20de%20connaissances

Record number: 9, Textual support number: 1 OBS

Dans un premier temps, le cogniticien doit acquérir le vocabulaire de l'expert du domaine.  3, fiche 9, Français, - vocabulaire%20de%20connaissances

Fiche 9,  Justifications,  Espagnol