TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

Intuitionistic logic encompasses the general principles of logical reasoning which have been abstracted by logicians from intuitionistic mathematics.  2, record 1, English, - intuitionistic%20logic

Record 1,  Textual support,  French

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

The planning tool used for performance audit and special examination.  3, record 2, English, - audit%20logic%20matrix

Record number: 2, Textual support number: 1 OBS

The [Office of the Auditor General of Canada] has designed... the audit logic matrix(ALM), which describes the logical relationship between the audit objectives, criteria, audit scope and approach, and the observations to emerge.  2, record 2, English, - audit%20logic%20matrix

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Outil de planification utilisé pour les audits de performance et les examens spéciaux.  4, record 2, French, - grille%20logique%20d%27audit

Record number: 2, Textual support number: 1 OBS

Le [Bureau du vérificateur général du Canada] a conçu [...] la grille logique d'audit qui décrit la relation logique entre l'objectif, les critères, l'étendue et l'approche de l'audit, ainsi que les observations qui pourraient en découler.  2, record 2, French, - grille%20logique%20d%27audit

Record number: 2, Textual support number: 2 OBS

grille logique de vérification : Le terme «vérification» a été en usage dans les normes canadiennes jusqu'en décembre 2010, date à laquelle un consensus international a entériné l'emploi de la désignation «audit».  5, record 2, French, - grille%20logique%20d%27audit

Record number: 2, Textual support number: 3 OBS

grille logique d'audit : Le Bureau de la traduction du gouvernement du Canada recommande l'usage du terme «audit» dans le domaine de la comptabilité (REC-13/2013-02).  5, record 2, French, - grille%20logique%20d%27audit

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 CONT

Once conceived as a single formal system, epistemic logic has become a general formal approach to the study of the structure of knowledge, its limits and possibilities, and its static and dynamic properties.  2, record 3, English, - epistemic%20logic

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

Système logique permettant de raisonner sur la connaissance.  2, record 3, French, - logique%20%C3%A9pist%C3%A9mique

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 CONT

[A] microcomputer microcircuit... means a "monolithic integrated circuit" or "multichip integrated circuit" containing an arithmetic logic unit(ALU) capable of executing general purpose instructions from an internal storage, on data contained in the internal storage.  2, record 4, English, - microcomputer%20microcircuit

Record 4,  Textual support,  French

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 OBS

Because medium-scale integration(MSI) and large-scale integration(LSI) generally imply digital integrated circuits(ICS), equipment intended to test LSI/MSI devices usually comprises a digital test system. Although manually operated benchtop units are available to test digital logic in a production environment, automated test systems are dictated. Thus, in general, LSI/MSI testers are automated, programmable systems that provide sophisticated test patterns at high repetition rates(usually, rated device operating frequency), with precise edge timing and control of all test parameters. Employed primarily for testing at wafer probe and for final package test(interfaced to a wafer prober or a high-speed, sort devices into predetermined categories based upon test performance, and reject defective devices. A current trend-particularly for semiconductor memories-is to integrate test systems with burn-in systems.  1, record 5, English, - LSI%2FMSI%20tester

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 OBS

LSI signifie «intégration à grande échelle» et MSI «intégration à moyenne échelle.»  1, record 5, French, - appareil%20de%20contr%C3%B4le%20LSI%2FMSI

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 CONT

The general principle is that any assumption that leads you to a contradiction must be false. Thus, if you can deduce a contradiction(using valid rules of inference) from a certain assumption, it is legitimate to conclude that the assumption is false. Indirect proof is an extremely useful method, both in logic and in the real world. In real world arguments, if you can start from your opponent's premises and derive a contradiction from them(which is frequently possible), it is a very powerful refutation of the opponent's position. It is because of the usefulness of IP(indirect proof) that I have decided to introduce it right away.  1, record 6, English, - indirect%20proof

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 CONT

Toute proposition est vraie ou fausse (principe du tiers exclu) et 2° la double négation d'une assertion correspond à sa vérité. La combinaison de ces deux corollaires recèle un mode d'inférence, la méthode de preuve indirecte, qui permet de démontrer des théorèmes d'existence mathématiques sur la simple base de leur non-contradiction.  1, record 6, French, - preuve%20indirecte

Record 6,  Textual support,  Spanish

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 CONT

Trip Logic.... With general coincidence logic the final shutdown action is initiated by the actuation of any trip sensor in one instrumentation channel combined with the actuation of any trip sensors in the other instrumentation channels(e. g., in a 3-channel system, high heat transport pressure in one channel, high neutron flux in another channel).  1, record 7, English, - general%20coincidence%20logic

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 CONT

Logique de déclenchement. [...] Dans une logique à coïncidence générale, l'arrêt final est provoqué par l'actionnement de tout détecteur de déclenchement dans un canal d'instrumentation combiné avec l'actionnement de tout autre détecteur de déclenchement dans les autres canaux d'instrumentation (e.g., dans un système à 3 canaux, pression élevée du caloporteur dans un canal, flux neutronique élevé dans un autre canal).  1, record 7, French, - logique%20%C3%A0%20co%C3%AFncidence%20g%C3%A9n%C3%A9rale

Record 7,  Textual support,  Spanish

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 CONT

In general, a sequential machine or automation consists of... combinational logic and memory.... The memory may be physically semiconductor elements, tapes or discs, or simply time delays of a so-called unit length.... The present input to the memory is called the next-state function, which depends on the present input and the present state.  1, record 8, English, - next%2Dstate%20function

Record 8,  Textual support,  French

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 CONT

The word topos was used for any category whose structure is sufficiently like Set, the category whose objects are crisp sets and whose morphisms are the set functions. It topos, basic set-theoretical constructions behave much as they do in Set itself.... The principles of classical logic are represented in Set by operations on a certain set... the two element Boolean Algebra. Each topos has an analogue or this algebra, and thus, each topos has its own logical calculus. This calculus differs from classical logic. In general, the logical principles that hold in a topos are those of intuitionistic logic, which does not accept the principle of excluded middle.  1, record 9, English, - topos

Record 9,  Textual support,  French

Record number: 9, Textual support number: 1 OBS

Comparer à locus-loci.  1, record 9, French, - topos

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 CONT

Since Colmerauer's introduction of metamorphosis grammars(MGs), with their associated type O-like grammar rules, there has been a desire to allow more general rule formats in logic grammars.  3, record 10, English, - metamorphosis%20grammar

Record 10,  Textual support,  French

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 DEF

... [a] 50 item paper-pencil test measuring general learning ability in verbal, spatial and numerical reasoning to predict ability to adjust to complex and rapidly changing job requirements and ability to complete complex job training. The test also measures potential turnover and dissatisfaction on routinized or simplex labor intensive jobs. Test items include Analogies, Analysis of geometric Figures, Arithmetic Problems, Disarranged Sentences, Sentence Parallelism with Proverbs, Similarities, Logic, Definitions, Judgment, Direction Following, and others.  1, record 11, English, - The%20Wonderlic%20Personnel%20Test

Record 11,  Textual support,  French

Record 11,  Textual support,  Spanish

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 CONT

Critical Dates. In any dispute a certain date, or several dates, will assume prominence in the process of evaluating the facts. The choice of such a date, or dates, is within the province of the tribunal seised of the dispute and will depend in some circumstances on the inevitable logic of the law applicable to the particular facts and, in other cases, on the practical necessity of confining the process of decision to relevant and cogent facts and thus to acts prior to the existence of a dispute.... There are several types of critical date, and it is difficult and probably misleading to formulate general definitions : the facts of the case are dominant(including, for this purpose, the terms of the special agreement empowering the tribunal to hear the case) and there is no necessity for a tribunal to choose any date whatsoever. In many cases there will be several dates of varying significance.  1, record 12, English, - critical%20date

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 DEF

Expression employée en procédure arbitrale ou judiciaire pour désigner la date à partir de laquelle les données du litige doivent être considérées comme définitivement fixes de telle manière que les faits postérieurs doivent être tenus pour sans pertinence pour la solution du différend.  1, record 12, French, - date%20critique

Record 12,  Textual support,  Spanish