TERMIUM Plus®

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

ENSEMBLE LOGIQUE [64 fiches]

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

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2025-01-14

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

... the process where a trained AI [artificial intelligence] model applies its learned knowledge to new, unseen data to make predictions, decisions, or generate content.

CONT

... a language model that has been trained on a vast corpus of text can perform inference by generating a new essay, answering a student's query, or summarizing a research article.

OBS

inference: designation standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Intelligence artificielle
CONT

[...] en apprentissage supervisé, l'inférence est l'application d’un modèle entraîné à des exemples sans étiquette pour faire des prédictions. En IA [intelligence artificielle] symbolique, l'inférence permet de créer des liens entre les informations afin d’en tirer une assertion, une conclusion ou une hypothèse. Il s’agit d’un processus de déduction qui fait appel à un ensemble de règles se basant sur un système logique.

OBS

inférence : désignation normalisée par l’ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

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

Fiche 2 2024-09-10

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
DEF

An inference which derives a logical conclusion from a specific set of premises.

OBS

Deduction is the only truth-preserving inference.

OBS

deductive inference; deduction: designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Inférence qui part d’un ensemble de prémisses particulier pour en dériver une conclusion logique.

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

inférence déductive; déduction : désignations et définition normalisées par l’ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
Conserver la fiche 2

Fiche 3 2024-08-29

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

As the term "autoepistemic logic" suggests, AEL was designed to model (a single agent's) knowledge, including knowledge derived from reasoning about knowledge.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Logique qui a pour objet la formalisation d’un raisonnement introspectif et idéalement rationnel opéré sur un ensemble initial de croyances.

Espagnol

Conserver la fiche 3

Fiche 4 2024-05-09

Anglais

Subject field(s)
  • Programming Languages
  • Artificial Intelligence
DEF

A programming language for expressing declarations.

OBS

Example: A data definition language.

OBS

declarative language: term standardized by ISO/IEC (International Electrotechnical Commission) and CSA.

Français

Domaine(s)
  • Langages de programmation
  • Intelligence artificielle
DEF

Langage de programmation conçu pour exprimer des déclarations.

CONT

Les normes internationales SGML et ODA sont destinées à apporter un langage commun, indispensable à l'échange d’information, à commencer par la définition logique et physique d’un document. Elles permettent de déclarer des entités textuelles selon le sens : début/fin de citation ou de liste, titre de niveau n, etc. Une entité «bibliographie» contient tous les éléments, les «champs» nécessaires(nom et prénom de l'auteur, titre, lieu de publication, etc.). [...] De tels langages, dits déclaratifs, obligent à structurer logiquement l'ensemble des documents et pas uniquement certains de leurs éléments(par exemple la création d’une note ou d’une entrée de glossaire).

OBS

langage déclaratif : terme normalisé par l’ISO/CEI (Commission électrotechnique internationale) et la CSA.

Espagnol

Campo(s) temático(s)
  • Lenguaje de programación
  • Inteligencia artificial
CONT

Un lenguaje declarativo es un tipo de lenguaje de programación basado más en las matemáticas y en la lógica que los lenguajes imperativos, más cercanos estos al razonamiento humano. Los lenguajes declarativos no dicen cómo hacer una cosa, sino, más bien, qué cosa hacer. A diferencia de los imperativos, no suele haber declaración de variables ni tipos.

Conserver la fiche 4

Fiche 5 2024-05-09

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

A very important relation ... between possible worlds, called an accessibility relation, is introduced to denote the relation of relative accessibility among the members of [a] set [of possible] worlds ...

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
CONT

L'univers considéré comme ensemble logique est constitué d’une infinité de mondes reliés par des relations d’accessibilité. Concrètement, celles-ci sont des liens formels qui lient deux mondes portant chacun une catégorie modale particulière.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
CONT

Los mundos posibles están relacionados por la relación de accesibilidad.

Conserver la fiche 5

Fiche 6 2023-10-17

Anglais

Subject field(s)
  • Codes (Software)
  • Programming Languages
DEF

Any bounded sequence of statements that can be taken as a single syntactic unit and which may have an identifier.

CONT

Block statements provide a mechanism for encapsulating patterns of structure. Code inside the block statement runs under the control of an object called a block iterator. Simple block iterators execute code before and after the code inside the block statement.

OBS

block statement: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission (IEC).

Français

Domaine(s)
  • Codes (Logiciels)
  • Langages de programmation
DEF

Séquence finie d’instructions, qui peut être considérée comme une seule unité syntaxique, et qui peut avoir un identificateur.

CONT

Un bloc d’instructions est une suite d’instructions formant un ensemble logique, qui n’ est exécuté que dans certaines conditions définies dans la ligne d’en-tête.

OBS

instruction bloc; instruction de bloc : désignations et définition normalisées par l’ISO en collaboration avec la Commission électrotechnique internationale (CEI).

Espagnol

Conserver la fiche 6

Fiche 7 2023-06-02

Anglais

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

Answer set programming (ASP) is a form of declarative programming based on the stable model semantics of logic programming. It is used for knowledge representation and reasoning under the answer set semantics.

Français

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

[La] programmation par ensembles réponses [est une] forme de programmation déclarative adaptée aux problèmes de recherche difficiles [qui] est basée sur la sémantique des modèles stables(ensemble de réponses) de la programmation logique.

Espagnol

Conserver la fiche 7

Fiche 8 2020-10-14

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

... an agent's explicit beliefs [comprise] all facts included in the agent's belief base ...

Français

Domaine(s)
  • Intelligence artificielle
CONT

[Le chercheur] a proposé un début de solution pour le problème de l'omniscience logique [en] faisant intervenir des croyances explicites et des croyances implicites. L'idée consiste à dire qu'un agent a un petit ensemble de croyances explicites et un ensemble beaucoup plus grand(infini) de croyances implicites incluant les conséquences logiques des croyances explicites.

Espagnol

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

Fiche 9 2020-09-14

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

[An] agent's implicit beliefs [include] all facts deducible from the agent's belief base.

Français

Domaine(s)
  • Intelligence artificielle
CONT

[Le chercheur] a proposé un début de solution pour le problème de l'omniscience logique [en] faisant intervenir des croyances explicites et des croyances implicites. L'idée consiste à dire qu'un agent a un petit ensemble de croyances explicites et un ensemble beaucoup plus grand(infini) de croyances implicites incluant les conséquences logiques des croyances explicites.

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
CONT

Distingamos primero entre creencia conscientemente explícita y creencia implícita; y, correspondientemente, entre conocimiento conscientemente explícito y conocimiento implícito.

Conserver la fiche 9

Fiche 10 2017-11-29

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Artificial Intelligence

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Intelligence artificielle
DEF

Code numérique associé à chaque nœud de données d’un circuit logique.

DEF

Collection de constantes prédicatives et fonctionnelles, possédant chacune un nombre déterminé de places.

CONT

À travers la syntaxe de la logique prédicative, la signature donne bien à un langage ou ensemble des termes et des formules qu'elle permet de construire.

CONT

En effet l’appareil reconnaît et affiche un caractère hexadécimal unique associé à chaque nœud de données du circuit, caractère qui constitue ce que Hewlett-Packard appelle la «signature logique».

Espagnol

Conserver la fiche 10

Fiche 11 2016-03-08

Anglais

Subject field(s)
  • Diagnostic Procedures (Medicine)
DEF

A thorough physical examination, includes a variety of tests depending on the age and sex and health of the person.

Terme(s)-clé(s)
  • medical checkup
  • health checkup
  • checkup

Français

Domaine(s)
  • Méthodes diagnostiques (Médecine)
DEF

Examen qui se répète périodiquement et qui peut comprendre l’auscultation, une analyse sanguine, un ECG (électrocardiogramme), une radiographie pulmonaire ainsi que d’autres tests dépendant de l’âge, du sexe et de la santé du patient.

OBS

L’expression «examen médical» est employée pour désigner l’ensemble de l’interrogatoire et de l’examen physique qu’on fait subir à un sujet.

OBS

L'expression «bilan de santé» est couramment utilisée pour désigner un «check-up». Des deux expressions «examen de santé» et «bilan de santé», la première est plus logique pour rendre le terme «check-up». En effet, c'est l'ensemble des examens de santé qui permet d’obtenir un bilan de santé.

Espagnol

Campo(s) temático(s)
  • Procedimientos diagnósticos (Medicina)
DEF

Estudio que hace un médico a una persona, atendiendo a su estado y a las manifestaciones visibles de determinada enfermedad o enfermedades, como fiebre, sensación de cansancio, ganglios inflamados, manchas o irritación en la piel, dilatación de la pupila, etcétera y es parte de la integración de un cuadro clínico.

OBS

[...] el doctor a través de la observación que hace al paciente empleando su vista, tacto y oído, evalúa su estado de salud y en caso necesario lo remite a análisis de laboratorio.

Conserver la fiche 11

Fiche 12 - 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.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inference which derives a logical conclusion from a specific set of premises

OBS

Deduction is the only truth-preserving inference.

OBS

deduction; deductive inference: terms 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.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inférence qui part d’un ensemble de prémisses particulier pour en dériver une conclusion logique

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

déduction; inférence déductive : termes et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995].

Espagnol

Conserver la fiche 12

Fiche 13 2014-05-21

Anglais

Subject field(s)
  • Air Transport
DEF

An integer defining a set of parameters used by the traffic advisory (TA) and collision avoidance algorithms to control the warning time provided by the potential threat and threat detection logic, as well as the values of parameters relevant to the RA [resolution advisory] selection logic.

OBS

sensitivity level; S: term, abbreviation and definition officially approved by the International Civil Aviation Organization (ICAO).

Français

Domaine(s)
  • Transport aérien
DEF

Nombre entier qui exprime la valeur d’un ensemble de paramètres servant, dans les algorithmes d’avis de circulation et les algorithmes anticollision, à contrôler le délai d’avertissement donné par la menace possible et la logique de détection des menaces ainsi que les valeurs des paramètres intéressant la logique de sélection des avis de résolution.

OBS

niveau de sensibilité; S : terme, abréviation et définition uniformisés par l’Organisation de l’aviation civile internationale (OACI).

Espagnol

Campo(s) temático(s)
  • Transporte aéreo
DEF

Número entero que define un conjunto de parámetros utilizados en los algoritmos de aviso de tránsito (TA) y anticolisión para controlar el tiempo de aviso proporcionado por la amenaza posible y por la lógica de detección de amenazas, así como los valores de los parámetros correspondientes a la lógica de selección RA [aviso de resolución].

OBS

nivel de sensibilidad; S: término, abreviatura y definición aceptados oficialmente por la Organización de Aviación Civil Internacional (OACI).

Conserver la fiche 13

Fiche 14 2013-07-15

Anglais

Subject field(s)
  • Internet and Telematics
  • Data Banks and Databases
DEF

[In open systems interconnection,] a collection of open systems that cooperate to hold a logical database of information about a set of objects in the real world.

OBS

directory system: term and definition standardized by ISO/IEC [International Electrotechnical Commission].

Français

Domaine(s)
  • Internet et télématique
  • Banques et bases de données
DEF

[En interconnexion de systèmes ouverts, ] ensemble de systèmes ouverts qui coopèrent pour établir une base de données logique contenant des informations sur un ensemble d’objets dans le monde réel.

OBS

système annuaire : terme et définition normalisés par l’ISO/CEI [Commission électrotechnique internationale].

Espagnol

Conserver la fiche 14

Fiche 15 2013-01-11

Anglais

Subject field(s)
  • Anthropology
  • Sociology (General)
  • Social Psychology
DEF

A recently coined term to denote the systematic study of the formal phenomena which underlie the informal methods whereby people attend to ordinary activities.

CONT

... ethnomethodology has ties with ethnology and linguistics and with philosophy.

OBS

Ethnomethodological research has tended to focus more on what participants do and relates that to what they know or how they use what they know.

Français

Domaine(s)
  • Anthropologie
  • Sociologie (Généralités)
  • Psychologie sociale
CONT

[...] toute entreprise théorique qui s’efforce de traiter du maintien de l'ordre social ou des altérations qualitatives des relations sociales se voit contrainte de pénétrer et d’articuler la logique de la dimension subjective. C'est pourquoi l'ethnométhodologie, qui en fait son objet, apparaît comme une réponse non seulement à la nouvelle évolution historique, mais à tout un ensemble de nouvelles questions encore jamais posées.

CONT

[Mehan et Wood] présentent l’ethnométhodologie comme une métathéorie des sciences sociales, liée à celles-ci de la même façon que la sociologie à la psychologie, la psychologie à la physiologie [...]

Espagnol

Conserver la fiche 15

Fiche 16 2012-11-02

Anglais

Subject field(s)
  • Engineering
  • Information Processing (Informatics)
  • Systems Analysis (Information Processing)
DEF

A specification that documents the design of a system or system component; for example, a software configuration item. Typical contents include system or component algorithms, control logic, data structures, data set-use information, input/output formats, and interface descriptions.

CONT

A designer will try to understand a design problem that has been assigned to him by writing a design specification. The specifications relate to technical systems that do not exist at that time. Other specifications relate to existing systems, for instance manufacturing specifications, test specifications, operation specifications....

OBS

See also "requirements specifications".

OBS

As a rule when "specification" is used in the singular, the writer is referring to the document; when it is used in the plural, "specifications" means the statements included in the document.

OBS

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

Français

Domaine(s)
  • Ingénierie
  • Traitement de l'information (Informatique)
  • Analyse des systèmes informatiques
DEF

Spécification qui documente la conception d’un système ou d’un élément de système; par exemple, un élément de la configuration d’un logiciel. Les contenus types comprennent les algorithmes du système ou de l'élément, la logique de commande, les structures de données, les renseignements sur l'utilisation d’un ensemble de données, les formats d’entrée/sortie et les descriptions des interfaces.

OBS

Voir également «spécification des exigences».

Espagnol

Campo(s) temático(s)
  • Ingeniería
  • Tratamiento de la información (Informática)
  • Análisis de los sistemas de informática
DEF

Resultado de un análisis de las necesidades de información de un sistema específico dentro de una organización; incluyendo las especificaciones para las entradas, salidas y procesamiento.

Conserver la fiche 16

Fiche 17 2012-07-27

Anglais

Subject field(s)
  • Artificial Intelligence
  • Continuing Education
  • Software
DEF

[an environment which provides] students with the freedom to explore and a sense of control as they investigate a domain within a simulative context geared toward both operational knowledge and articulate conceptualization.

CONT

A number of successful systems simply provided an environment for exploration. These systems contained no explicit notion of student goals, performance, or state, and had no built-in capacities to direct the student toward some purposeful behavior.

CONT

We describe the initial prototype of a discovery environment, called Voltaville, designed to build scientific inquiry skills in the context of learning the principles underlying DC (direct current) electric circuits.

CONT

... a discovery learning environment wherein students can explore the phenomenon of refraction in a self-guided manner....

CONT

Laboratories provide exploratory environments within which one can study problems and pursue goals of learning and research.

Français

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente
  • Logiciels
DEF

En EIAO [enseignement intelligemment assisté par ordinateur], ensemble d’outils informatiques permettant l'exploration à des fins d’apprentissage d’une discipline ou champ d’étude. Il se distingue par la présence d’un ensemble des connaissances déclaratives ou procédurales, et par l'intégration de techniques de programmation fonctionnelle, logique et orientée-objet.

OBS

Selon un professeur de Lancaster, G.-B., ces environnements n’ont pas de stratégie pédagogique pré-établie; l’apprenant utilise librement les outils mis à sa disposition sans être guidé, évalué, corrigé, etc.

Espagnol

Conserver la fiche 17

Fiche 18 2012-05-02

Anglais

Subject field(s)
  • Systems Analysis (Information Processing)
DEF

A set of procedures for the creation of files and their maintenance.

Français

Domaine(s)
  • Analyse des systèmes informatiques
DEF

Ensemble de fonctions d’un système d’exploitation réalisant de façon contrôlée l'interface entre les fichiers-représentation logique des informations-et les supports physiques de ces informations dans le système.

OBS

gestion de fichiers : normalisé par AFNOR.

Espagnol

Campo(s) temático(s)
  • Análisis de los sistemas de informática
DEF

Creación y mantenimiento de los archivos (ficheros) por medio de una computadora (ordenador).

Conserver la fiche 18

Fiche 19 2011-11-09

Anglais

Subject field(s)
  • IT Security
DEF

The set of hardware, software, firmware, or some combination thereof that implements cryptographic functions or processes, including cryptographic algorithms and, optionally, key generation, and is contained within a defined cryptographic boundary.

Français

Domaine(s)
  • Sécurité des TI
DEF

Ensemble du matériel, du logiciel, du microprogramme ou d’une combinaison quelconque de ces éléments qui met en place une logique ou des processus cryptographiques, y compris des algorithmes de chiffrement et des processus de gestion des clés, et qui est contenu dans le périmètre cryptographique.

Espagnol

Conserver la fiche 19

Fiche 20 - données d’organisme externe 2011-06-14

Anglais

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

<open systems interconnection> collection of open systems that cooperate to hold a logical database of information about a set of objects in the real world

OBS

directory system: term and definition standardized by ISO/IEC [ISO/IEC 2382-26:1993].

Français

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

<interconnexion de systèmes ouverts> ensemble de systèmes ouverts qui coopèrent pour établir une base de données logique contenant des informations sur un ensemble d’objets dans le monde réel

OBS

système annuaire : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-26:1993].

Espagnol

Conserver la fiche 20

Fiche 21 2011-01-07

Anglais

Subject field(s)
  • International Bodies and Committees
  • Hydrology and Hydrography
  • Cork
OBS

Created by decree of 5 June 1984, modified 18 February 1998, Ifremer is a public institute of industrial and commercial nature.

OBS

The French Research Institute for Exploitation of the Sea (IFREMER) was created by merging the Scientific and Technical Institute of Marine Fisheries (ISTPM) and the Centre National pour l'Exploitation des Océans (CNEXO).

Français

Domaine(s)
  • Organismes et comités internationaux
  • Hydrologie et hydrographie
  • Liège
OBS

L'Ifremer résulte de la fusion de l'ISTPM(Institut Scientifique et Technique des Pêches Maritimes) et du CNEXO(Centre national pour l'Exploitation des Océans). La réunion de ces deux organismes à vocation maritime, procédait d’une volonté et d’une logique, celles de confier à un seul établissement public de recherche la mission de développer un ensemble de recherches de grande ampleur afin de mieux exploiter les ressources de la mer.

OBS

L’histoire de l’ISTPM commence en 1918 sous le nom d’Office Scientifique et Technique des Pêches Maritimes (OSTPM). [...] Le décret du 14 octobre 1953 modifie son appellation : il devient l’ISTPM. Il est toujours chargé «d’effectuer les travaux ou recherches relevant du domaine des sciences de la mer et intéressant directement les pêches maritimes et les industries qui s’y rattachent». Trois missions : la recherche, le conseil technique et les contrôles sanitaires et techniques.

Espagnol

Campo(s) temático(s)
  • Organismos y comités internacionales
  • Hidrología e hidrografía
  • Corcho
Conserver la fiche 21

Fiche 22 2008-09-04

Anglais

Subject field(s)
  • Recording and Control Instrumentation
  • Nuclear Science and Technology
DEF

An assembly connected to the measuring channels of one or more safety monitoring assemblies and intended to perform a decision-making function and give a command signal to one or more safety actuators.

Français

Domaine(s)
  • Appareils de contrôle et d'enregistrement
  • Sciences et techniques nucléaires

Espagnol

Conserver la fiche 22

Fiche 23 2008-05-23

Anglais

Subject field(s)
  • Electronics
  • Electronic Circuits Technology
DEF

In a logical group, block from which a signal originates.

Français

Domaine(s)
  • Électronique
  • Technologie des circuits électroniques
DEF

Dans un ensemble logique, bloc duquel un signal est issu.

Terme(s)-clé(s)
  • bloc source

Espagnol

Campo(s) temático(s)
  • Electrónica
  • Tecnología de los circuitos electrónicos
Conserver la fiche 23

Fiche 24 2008-02-26

Anglais

Subject field(s)
  • Informatics
  • Artificial Intelligence
DEF

The property of a cardinal set.

Français

Domaine(s)
  • Informatique
  • Intelligence artificielle
DEF

En logique formelle, propriété d’une variable représentant toute instance d’un ensemble.

CONT

Une phrase de la forme «De nombreux ZOZOS sont des trucs» est représentée en introduisant : 1) l’ensemble des zozos, 2) l’ensemble des êtres qui sont à la fois des zozos et des trucs, 3) une fonction comparant la cardinalité de ces deux ensembles, en disant que la cardinalité des «zozos et trucs» n’est pas inférieure de moins de tout [...] à la cardinalité des «zozos».

CONT

Clique de cardinalité.

Espagnol

Campo(s) temático(s)
  • Informática
  • Inteligencia artificial
DEF

Número de elementos contenidos en un conjunto X(n).

Conserver la fiche 24

Fiche 25 2008-02-08

Anglais

Subject field(s)
  • Titles of Monographs
  • Federal Administration
OBS

Treasury Board of Canada Secretariat, Chief Information Officer Branch. This document, The Vision, is the second of the two primary deliverables of the Vision Phase of strategic design and planning for the Government of Canada (GC) Information Management (IM) Program Transformation Initiative. It answers the question: “Where do we want to go with IM tomorrow?” It is the logical follow-on to The Business Problem Assessment (BPA) for IM in the GC, the first primary deliverable of the Vision Phase, which answers the question: “What is wrong with IM today?” The Vision proposes improvements to address the root causes of business problems as identified in the BPA. However, beyond just identifying what needs to change to solve current problems, The Vision defines what an IM Program must do to support the GC in the achievement of new and better outcomes for Canadians.

Français

Domaine(s)
  • Titres de monographies
  • Administration fédérale
OBS

Secrétariat du Conseil du Trésor du Canada, Direction du dirigeant principal de l'information. Ce document, La vision, est le deuxième des deux principaux documents à produire au cours de la seconde étape de la conception et de la planification stratégiques de l'Initiative de transformation du Programme de gestion de l'information(GI) du gouvernement du Canada(GC). Il répond à la question suivante :«Que nous réserve la GI au cours de la prochaine génération »? Il s’agit de la suite logique du premier document intitulé Une évaluation des problèmes opérationnels(ÉPO) liés à la GI au sein du GC, qui répondait à la question :«Qu'est-ce qui ne va pas avec la GI de nos jours »? Ce deuxième document met de l'avant certaines améliorations pour traiter des causes fondamentales et trouver une solution aux problèmes opérationnels soulevés dans le premier document. Toutefois, il ne s’agit pas seulement de déterminer ce qui doit changer pour apporter une solution aux problèmes actuels; en effet, La vision propose ce qu'un programme de GI doit réaliser pour aider le GC à mieux répondre aux besoins et aux aspirations de l'ensemble de la population.

Espagnol

Conserver la fiche 25

Fiche 26 2007-01-23

Anglais

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

Players who engage in behaviors that sabotage their own ability to function provide a convenient ready-made excuse for failure ... but accept personal credit for success. This behavior is known as self-handicapping. Studies show that high levels of self-handicapping are associated with low task cohesion, and low self-handicapping is related to high social cohesion.

CONT

... self-handicapping represents the strategies athletes use to proactively protect their self-esteem by creating excuses for their performance in forthcoming events through adopting or advocating impediments for success.

Français

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

[...] l’auto-handicap correspond aux stratégies mises en place par les athlètes pour protéger leur estime de soi via des excuses, révélant des obstacles au succès, destinées à justifier leurs futures performances. [...] En cas de succès, l’athlète peut s’approprier la victoire et, en cas de défaite, il dispose de tout un tas d’explications externes pour justifier son échec.

CONT

Trouver des excuses afin d’attribuer sa future performance à autre chose qu'une mauvaise habileté est la logique générale de l'ensemble des stratégies d’auto-handicap [...] Ces stratégies se manifestent sous forme de comportements réels ou de revendications verbales [...]

Espagnol

Conserver la fiche 26

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

Anglais

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

physical or logical relationship among units of data and the data themselves

OBS

data structure: term and definition standardized by ISO/IEC [ISO/IEC 2382-15:1999].

Français

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

ensemble constitué de données et d’une relation physique ou logique entre elles

OBS

structure de données : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-15:1999].

Espagnol

Conserver la fiche 27

Fiche 28 2006-01-03

Anglais

Subject field(s)
  • Computer Hardware
DEF

A circuit that performs operations following the rules of symbolic logic. Example: A circuit whose input and output signals represent quantities that may assume one value of a finite set of discrete values.

Français

Domaine(s)
  • Matériel informatique
DEF

Circuit qui effectue des opérations en suivant des règles de logique symbolique. Exemple : circuit dont les signaux d’entrée et de sortie représentent des grandeurs qui peuvent prendre l'une des valeurs d’un ensemble fini de valeurs discrètes.

Espagnol

Campo(s) temático(s)
  • Equipo físico de computadora (Hardware)
DEF

Es uno de los circuitos empleados para ejecutar ciertas funciones lógicas. Las funciones son AND (Y) OR (O), NOR (NI) y O exclusivo, entre otras muchas.

OBS

La salida de estos circuitos es función del estado o nivel (1 ó 0) de las entradas.

Conserver la fiche 28

Fiche 29 2006-01-03

Anglais

Subject field(s)
  • Software
DEF

A set of related data elements considered as a record from a logical viewpoint.

OBS

Portions of one logical record may be located in different physical records, or several logical records or parts of logical records may be located in one physical record.

OBS

logical record: term standardized by ANSI, IEEE, ISO and CSA.

Français

Domaine(s)
  • Logiciels
DEF

Ensemble d’éléments de donnée associés considéré comme un enregistrement d’un point de vue logique.

OBS

Des portions d’un article peuvent être situées dans différents enregistrements physiques, ou plusieurs articles ou des parties d’articles peuvent être situées dans un seul enregistrement physique.

OBS

enregistrement logique; article : termes normalisés par l’ISO et la CSA.

Espagnol

Campo(s) temático(s)
  • Soporte lógico (Software)
DEF

Unidad completa de información que describe una colección o asociación de elementos de datos, basándose en el contenido más bien que en su localización física.

Conserver la fiche 29

Fiche 30 2005-10-06

Anglais

Subject field(s)
  • Operating Systems (Software)
  • Information Processing (Informatics)
DEF

A single large file which is an exact representation of the whole set of data and programs as it will appear on a CD, in terms of both content and logical format.

Français

Domaine(s)
  • Systèmes d'exploitation (Logiciels)
  • Traitement de l'information (Informatique)
DEF

Gros fichier qui renferme le contenu fidèle de l'ensemble des données et des programmes tels qu'ils apparaîtront sur un CD, tant au plan du contenu que du format logique.

Espagnol

Conserver la fiche 30

Fiche 31 2004-12-16

Anglais

Subject field(s)
  • Information Theory
DEF

Digital logic for use in logic circuits that are designed to handle more than two levels (voltages, etc).

OBS

There is much interest currently in ternary logic (q=3) and ... in quaternary logic (q=4). Such logics promise reduced numbers of logic gates, memory elements, and ... interconnections.

Français

Domaine(s)
  • Théorie de l'information
DEF

Logique à plusieurs valeurs permettant d’attribuer à la valeur de vérité d’un prédicat un ensemble de valeurs discrètes(en nombre supérieur à 2, qui est le cas de la logique classique).

OBS

Par exemple, la logique ternaire de Lukasiewicz et la logique quaternaire de Rescher et David.

Espagnol

Campo(s) temático(s)
  • Teoría de la información
DEF

Circuito lógico cuyas entradas y salidas tienen un número finito de valores superior a dos.

Conserver la fiche 31

Fiche 32 2004-07-28

Anglais

Subject field(s)
  • Electronic Circuits Technology
DEF

The voltage difference between the two logic levels "1" and "0".

Français

Domaine(s)
  • Technologie des circuits électroniques
CONT

La commutation de l'ensemble des composants d’un circuit intégré exige une tension minimale(dite excursion logique) qui doit être supérieure aux différences de potentiel dues au bruit thermique(agitation thermique des électrons).

Espagnol

Campo(s) temático(s)
  • Tecnología de los circuitos electrónicos
DEF

Diferencia de voltaje entre dos niveles lógicos representado un cero y un uno en una compuerta o circuito.

Conserver la fiche 32

Fiche 33 2003-04-10

Anglais

Subject field(s)
  • Sociology of Communication
  • Logic (Philosophy)
DEF

A reasoned exposition of principles.

Français

Domaine(s)
  • Sociologie de la communication
  • Logique (Philosophie)
DEF

Ensemble d’idées simples qui sert de point de départ logique à une intervention, à une politique, etc.

CONT

(1) Le fondement de la politique budgétaire est lié au concept de l’égalité des citoyens devant la loi.

CONT

(2) La netteté de la communication est l’une des assises de l’intervention linguistique dans les médias.

OBS

Termes entérinés par le Comité de linguistique de Radio-Canada et le Secrétariat d’État du Canada.

Espagnol

Campo(s) temático(s)
  • Sociología de la comunicación
  • Lógica (Filosofía)
Conserver la fiche 33

Fiche 34 2002-09-03

Anglais

Subject field(s)
  • Computer Memories
DEF

A CPU [central processing unit] that is constructed from individual chips, each of which contains a section of a complete ALU [arithmetic-logic unit], the multiplexers, and data paths using a four-bit format, that can be combined to form a CPU with a greater word length; usually for custom-designed, special-purpose microprocessors.

Français

Domaine(s)
  • Mémoires (Informatique)
DEF

Unités centrales réalisées à partir d’un ensemble de modules élémentaires dont l'originalité réside dans le module unité arithmétique et logique UAL [unité arithmétique et logique]. En effet, plusieurs modules unité arithmétique et logique peuvent être associés en cascade, permettant ainsi de former une longueur de mot quelconque(restant toutefois multiple de la longueur élémentaire).

Espagnol

Campo(s) temático(s)
  • Memorias (Computadoras)
DEF

Sistema que permite organizar microcomputadoras (microordenadores) de diferentes tamaños de palabras, con unidades procesadoras separadas en dos, cuatro u ocho «rebanadas» de bits sobre un solo microcircuito.

Conserver la fiche 34

Fiche 35 2002-04-25

Anglais

Subject field(s)
  • Artificial Intelligence
  • Lexicology, Lexicography, Terminology
DEF

The set of attributes belonging to all and only those things to which the given term is correctly applied.

Français

Domaine(s)
  • Intelligence artificielle
  • Lexicologie, lexicographie et terminologie
DEF

En logique classique, ensemble des caractères qui appartiennent à un concept, ou qui permettent de le définir.

CONT

Plus l’intension d’un terme (le nombre de traits) est grande, plus l’extension (la classe des objets dénotés) est restreinte.

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Lexicología, lexicografía y terminología
DEF

Conjunto de características y cualidades que se refieren o pertenecen a un objeto.

Conserver la fiche 35

Fiche 36 2001-09-17

Anglais

Subject field(s)
  • Internet and Telematics
DEF

This set of services enables the delivery of services in a client-centric manner, by providing presentation support for various access method, and enabling the groupings of available service offerings to be presented to the users via appropriate access methods.

CONT

One type of integrated logic will provide a specific user or user type with a set of programs and services that meet the profile they provide (known as Packaged Presentation Offerings).

OBS

Usually in plural

Français

Domaine(s)
  • Internet et télématique
DEF

Cet ensemble de services permet la prestation de services axés sur les clients en assurant la présentation de diverses méthodes d’accès et en permettant le regroupement des services à présenter aux utilisateurs par des méthodes d’accès appropriées.

CONT

Un type de logique d’intégration fournira à un utilisateur ou à un type d’utilisateur particulier un ensemble de programmes et de services qui correspondent au profil qu'il présente(appelé offre de services regroupés).

Espagnol

Conserver la fiche 36

Fiche 37 2000-07-07

Anglais

Subject field(s)
  • IT Security
DEF

A device, approved as CCI, embodying a cryptographic logic or other COMSEC device that does not perform the entire COMSEC function and is dependent upon the host equipment or assembly to complete and operate the COMSEC function.

Français

Domaine(s)
  • Sécurité des TI
DEF

Dispositif, agréé comme CCI, contenant une logique cryptographique ou un autre dispositif COMSEC, qui ne remplit pas toute la fonction COMSEC, et dépend de l'équipement ou de l'ensemble d’accueil pour remplir et exécuter la fonction COMSEC.

Espagnol

Conserver la fiche 37

Fiche 38 1999-04-26

Anglais

Subject field(s)
  • Joining Elements (Mechanical Components)
CONT

A thread may be either right-hand or left-hand. A right-hand thread on an external member advances into an internal thread when turned clockwise; a left-hand thread advances when turned counterclockwise.

CONT

A combination collar is a coupling with left-hand threads in one end and right-hand threads in the other.

OBS

Threads are considered to be right-hand and single unless otherwise noted; therefore the specification for a left-hand thread must have the letters LH included.

OBS

Example of a thread identification by standardized symbols: 1/2-13UNC-2ALH.

OBS

left-hand thread: term standardized by ISO.

Français

Domaine(s)
  • Éléments d'assemblage (Composants mécaniques)
CONT

[...] par convention, on dit que le filetage est «à droite» lorsque, en examinant la pièce mâle tenue verticalement, le filet semble monter vers la droite; il est dit «à gauche» si le filet semble monter vers la gauche [...]. En règle générale, on adopte le filetage à droite. Cependant, on peut être amené à adopter un filetage à gauche, pour des raisons de sécurité, lorsque les efforts exercés sur l’assemblage auraient pour effet de provoquer le desserrage d’un écrou fileté à droite.

OBS

«Thread» peut être rendu par «filet» ou «filetage» selon le contexte. «Filetage» désigne l'ensemble des filets et ce dernier terme nous paraît préférable, plus logique. Si on choisit «filet», on devra l'utiliser au pluriel dans ce cas-ci.

OBS

À moins d’indications contraires, le sens des filets est toujours à droite, c’est-à-dire qu’un boulon se visse de gauche à droite (sens des aiguilles d’une montre) dans un trou taraudé. Cependant, les tendeurs et autres mécanismes spéciaux exigent l’utilisation de filets à gauche que l’on identifie par la lettre G, inscrite à la suite de la cotation du filet.

CONT

Pour filetage à gauche, ajouter «-LH» [...]

OBS

filetage à gauche : terme normalisé par l’ISO.

Terme(s)-clé(s)
  • pas à gauche

Espagnol

Conserver la fiche 38

Fiche 39 1998-12-17

Anglais

Subject field(s)
  • Joining Elements (Mechanical Components)
  • Aeronautical Engineering and Maintenance
CONT

A thread may be either right-hand or left-hand. A right-hand thread on an external member advances into an internal thread when turned clockwise; a left-hand thread advances when turned counterclockwise.

CONT

A combination collar is a coupling with left-hand threads in one end and right-hand threads in the other.

OBS

Threads are considered to be right-hand and single unless otherwise noted; therefore the specification for a left-hand thread must have the letters LH included.

OBS

Example of a thread identification by standardized symbols: 1/2-13UNC-2ALH.

OBS

right-hand thread: term standardized by ISO.

Français

Domaine(s)
  • Éléments d'assemblage (Composants mécaniques)
  • Aérotechnique et maintenance
CONT

[...] par convention, on dit que le filetage est «à droite» lorsque, en examinant la pièce mâle tenue verticalement, le filet semble monter vers la droite; il est dit «à gauche» si le filet semble monter vert la gauche [...]. En règle générale, on adopte le filetage à droite. Cependant, on peut être amené à adopter un filetage à gauche, pour des raisons de sécurité, lorsque les efforts exercés sur l’assemblage auraient pour effet de provoquer le desserrage d’un écrou fileté à droite.

OBS

«Thread» peut être rendu par «filet» ou «filetage» selon le contexte. «Filetage» désigne l'ensemble des filets et ce dernier terme nous paraît préférable, plus logique. Si on choisit «filet», on devra l'utiliser au pluriel dans ce cas-ci.

OBS

À moins d’indications contraires, le sens des filets est toujours à droite, c’est-à-dire qu’un boulon se visse de gauche à droite (sens des aiguilles d’une montre) dans un trou taraudé. Cependant, les tendeurs et autres mécanismes spéciaux exigent l’utilisation de filets à gauche que l’on identifie par la lettre G [ou LH : voir fiche «filet à gauche»], inscrite à la suite de la cotation du filet.

OBS

filetage à droite : terme normalisé par l’ISO.

Terme(s)-clé(s)
  • pas à droite
  • filetage pas à droite

Espagnol

Conserver la fiche 39

Fiche 40 1998-08-17

Anglais

Subject field(s)
  • Mathematics
  • Computer Graphics
DEF

A function between vector spaces.

Français

Domaine(s)
  • Mathématiques
  • Infographie
DEF

Fonction qui associe les éléments d’un ensemble aux éléments d’un autre ensemble et qui permet d’effectuer une opération logique ou mathématique sur des nombres, des fonctions, des vecteurs ou sur des propositions.

OBS

Normalement représenté par des symboles tels +,-,:, ou par des lettres grecques telles delta, lambda, thêta, etc.

PHR

opérateur autoadjoint, bilinéaire, borné, différentiel, elliptique, laplacien, linéaire compact, linéaire régulier, non borné, non unitaire, positif, unitaire.

PHR

opérateur de contraction des aires, de dérivation, de Laplace, de relation, d’espace, de symétrie, de transformée.

PHR

domaine d’opérateurs, groupe d’opérateurs sur un ensemble.

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Gráficos de computadora
Conserver la fiche 40

Fiche 41 1995-04-05

Anglais

Subject field(s)
  • Psychology (General)
DEF

It contains everything that is inherited, that is fixed in the constitution-above all, therefore, the instincts, which originate in the somatic organization; it is in the service of the pure pleasure principle, an instinctual cathexis seeking discharge.

CONT

Dreams, for instance, according to Freud come from the id, and insofar as they express aspirations and anxieties that belong to the ego, themselves in the service of the wish which belongs to the id.

Français

Domaine(s)
  • Psychologie (Généralités)
DEF

Instance psychique, dans la deuxième théorie de l’appareil psychique énoncé par S. Freud, qui est la plus ancienne, la plus importante et la plus inaccessible des trois.

CONT

Le ça désigne l'ensemble de pulsions inconscientes, innées ou refoulées; c'est le réservoir des instincts; il est sans structure, intemporel, indifférent à la pensée logique et soumis à la seule recherche du plaisir.

Espagnol

Conserver la fiche 41

Fiche 42 1994-01-11

Anglais

Subject field(s)
  • Biochemistry
CONT

The molecules of which living organisms are composed conform to all the familiar laws of chemistry, but they also interact with each other in accordance with another set of principles, which we shall refer to collectively as the molecular logic of the living state. These principles do not necessarily involve new or as yet undiscovered physical laws or forces. Instead, they are a unique set of relationships characterizing the nature, function, and interaction of biomolecules ....

Français

Domaine(s)
  • Biochimie
CONT

Les molécules sont composés les organismes vivants se conforment à toutes les lois habituelles de la chimie, mais subissent des interactions selon un autre ensemble de principes que nous pouvons rassembler sous le terme de logique moléculaire de l'état vivant. Ces principes n’ impliquent pas nécessairement des lois ou des forces physiques nouvelles ou encore inconnues. Il s’agit plutôt d’un ensemble particulier de relations qui caractérisent la nature, la fonction et les interactions des biomolécules [...]

Espagnol

Conserver la fiche 42

Fiche 43 1992-11-02

Anglais

Subject field(s)
  • Printed Circuits and Microelectronics

Français

Domaine(s)
  • Circuits imprimés et micro-électronique
DEF

Synthèse automatique de circuits intégrés à partir d’une description du comportement du système, par opposition à la méthode traditionnelle de conception basée sur le schéma logique du circuit. La compilation de silicium est une méthode de mise en place rapide et efficace d’algorithmes sur silicium. Les données fournies au compilateur de silicium constituent une spécification abstraite du circuit. La sortie est un ensemble d’instructions pour le dessin des masques.

Espagnol

Conserver la fiche 43

Fiche 44 1991-12-03

Anglais

Subject field(s)
  • Opening and Closing Devices (Packaging)
  • Corporate Management (General)
  • Communication and Information Management
OBS

A company's mail system will be efficient if based on a well organized mail network.

Français

Domaine(s)
  • Modes d'ouverture et de fermeture (Emball.)
  • Gestion de l'entreprise (Généralités)
  • Gestion des communications et de l'information
DEF

Dans une entreprise, ensemble organisé de déplacements en vue de la livraison du courrier entre les succursales pour faire en sorte que les documents soient connus de tous et circulent dans une séquence logique d’étapes qui évite les pertes de temps et l'obligation de renvois à un expéditeur qui en a déjà pris connaissance.

OBS

L’efficacité du système postal d’une entreprise repose sur un bon réseau de distribution du courrier.

Espagnol

Conserver la fiche 44

Fiche 45 1991-05-08

Anglais

Subject field(s)
  • Water Supply
  • Public Utilities (Civil Engineering)
  • Urban Furnishings and Equipment
OBS

"water distribution system": A system of conduits (laterals, distributaries, pipes, and their appurtenances) by which a primary water supply is distributed to consumers.

OBS

"pipeline looping": "bouclage du pipeline" (Source: ONE-8E and ONE-8F).

Français

Domaine(s)
  • Alimentation en eau
  • Services d'utilité publique (Génie civil)
  • Équipements urbains
OBS

"bouclage" : Tuyauterie ou circuit de raccordement assurant une alimentation de secours réciproque entre deux réseaux.

OBS

Nous pensons qu'il est plus logique de boucler un réseau de distribution d’eau qu'un réseau d’aqueduc. Le "réseau d’aqueduc" désigne l'ensemble des installations à l'alimentation en eau, tandis que "réseau(de distribution) d’eau" se rapporte particulièrement à l'ensemble des conduites faisant partie d’un réseau d’aqueduc. Voir ces deux fiches en banque. Il est à noter, en outre, que "réseau d’aqueduc" est un canadianisme critiqué. "Adduction d’eau" est le bon terme à utiliser à la place.

Espagnol

Conserver la fiche 45

Fiche 46 1990-09-28

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 46

Fiche 47 1990-07-30

Anglais

Subject field(s)
  • Telecommunications Transmission

Français

Domaine(s)
  • Transmission (Télécommunications)
DEF

Ensemble de conventions qui assurent la constitution logique et/ou physique d’un chemin, d’un dialogue.

Espagnol

Conserver la fiche 47

Fiche 48 1990-07-30

Anglais

Subject field(s)
  • Telecommunications Transmission

Français

Domaine(s)
  • Transmission (Télécommunications)
DEF

Ensemble des conventions définissants les règles à respecter pour échanger des informations avec des appareils gérés selon un protocole logique et normalisé.

Espagnol

Conserver la fiche 48

Fiche 49 1990-01-16

Anglais

Subject field(s)
  • Biological Sciences
DEF

Basic principles involved in the physical and chemical reactions associated with an enzyme-catalyzed reaction. An enzyme functions by lowering the activation energy of a reaction. This is brought about by formation of a complex between the substrate and the enzyme. Most enzymes function according to the induced fit principle whereby binding of the substrate to the enzyme causes a change in shape, resulting in the alignment of catalytic groups. The electrostatic and hydrophobic interactions assist in the alignment and subsequent reaction.

Français

Domaine(s)
  • Sciences biologiques
DEF

Modalités d’attaque des liaisons et leur affaiblissement, la réalisation des substitutions de radicaux, au sens de la chimie organique. Dans cette optique particulière, on distingue :-une mise en évidence des étapes essentielles de la réaction, ainsi que l'origine des radicaux impliqués;(...)-les mécanismes "organiques" de l'action catalytique : cette étape logique vise à regrouper l'ensemble des données précédentes dans un schéma réactionnel cohérent précisant la nature des états de transition, les rôles simultanés et séquentiels des différents aminoacides du site actif identifiés ou postulés;-enfin devrait prendre place la vérification, rarement possible, du mécanisme proposé.

CONT

Se basant sur des propriétés cinétiques, Michaelis et Menten (...) ont postulé l’existence d’un complexe enzyme-substrat (ES) au site actif. Ce concept est d’une grande importance dans la compréhension du mécanisme des réactions enzymatiques. L’existence de ce complexe (ES) est maintenant démontrée par des méthodes spectroscopiques et par isolation directe des dérivés covalents stables du complexe.

Espagnol

Conserver la fiche 49

Fiche 50 1989-12-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Système de règles pour la manipulation de symboles en vue de la formulation d’énoncés qui fournissent la description exacte d’un modèle. La valeur de vérité de ces énoncés ne peut être que "vrai" ou "faux".

OBS

Logique basée sur le principe de monotonie selon lequel si un ensemble de formules est inclus dans un autre, tout théorème déductible de premier, le sera aussi du second. La logique prédicative et la logique propositionnelle en sont des exemples.

Espagnol

Conserver la fiche 50

Fiche 51 1989-12-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Ensemble d’événements "éventuellement vrais"(ceux qui auraient pu être faux si le monde avait évolué différemment) ;d’événements "nécessairement vrais"(ceux que l'on ne peut nier sans remettre en question la signification) ;d’événements "éventuellement faux" et d’événements "nécessairement faux". Ces quatre valeurs sont à la base de la logique quaternaire de Rescher.

CONT

sémantique des mondes possibles

OBS

Notion propre à la logique modale employée couramment en traitement sémantique de l’information où elle décrit un certain état du savoir à un moment donné. Une vérité nécessaire reste vraie dans tous les mondes possibles tandis qu’une vérité contingente peut s’appliquer à un des mondes possibles mais pas à tous.

Espagnol

Conserver la fiche 51

Fiche 52 1989-12-06

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

En logique propositionnelle, fonction qui associe à une proposition une valeur de vérité. Son domaine est l'ensemble de proposition et elle est étendue à l'ensemble des formules au moyen de tables de vérité. Une interprétation qui rend vraie une formule constitue un modèle de cette formule

CONT

domaine d’interprétation, interprétation autoépistémique, interprétation de Herbrand

OBS

En Prolog, l’interprétation logique des clauses de Horn permet une lecture déclarative et une lecture procédurale de chaque instruction (ou clause).

Espagnol

Conserver la fiche 52

Fiche 53 1989-12-06

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Qui est inféré par abduction logique ascendante ou descendante et fournit une hypothèse explicative d’un ensemble de faits

CONT

raisonnement abductif

OBS

Décrit le processus d’ajout d’informations nécessaires à la complétion d’une preuve. L’abduction logique est une inférence à prémisse majeure certaine et à prémisse mineure et conclusion plausibles. De B et de A implique B, on infère A.

Espagnol

Conserver la fiche 53

Fiche 54 1989-12-05

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Variation quantitative ou qualitative qui peut modifier un raisonnement. Les langues naturelles expriment les modes "possible","nécessaire", "permis". La possibilité et la nécessité sont des modes aléthiques. La permission et l’obligation sont des modes déontiques. La connaissance et la croyance sont des modes épistémiques. Les modes temporels sont "parfois", "jamais", "souvent", "toujours".

OBS

La logique modale étudie l'ensemble de ces modes. Dans un sens restreint elle se limite à la logique du possible ou aléthique. En informatique, ce terme a le sens "régime de fonctionnement".

Espagnol

Conserver la fiche 54

Fiche 55 1988-12-14

Anglais

Subject field(s)
  • Artificial Intelligence
OBS

See and/or expansion.

Français

Domaine(s)
  • Intelligence artificielle
DEF

En logique autoépistémique, ensemble légal maximal de croyances qu'un agent idéalement rationnel est habilité à imaginer à partir d’un ensemble initial de croyances.

Espagnol

Conserver la fiche 55

Fiche 56 1988-11-03

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

The objective of fuzzy logic is to modify (or "fuzzify") logic so that it applies directly to informal arguments. Fuzzy logic results from two stages of fuzzification: the introduction of vague predicates into the object language (this results in some form of multivalued logic), and treating the metalinguistic predicates "true" and "false" as themselves vague or fuzzy. The second stage is by far the most radical and controversial, and we shall reserve the term "fuzzy logic" for this stage of "fuzzification".

Français

Domaine(s)
  • Intelligence artificielle
OBS

Voir logique floue, ensemble flou.

Espagnol

Conserver la fiche 56

Fiche 57 1988-06-01

Anglais

Subject field(s)
  • Informatics

Français

Domaine(s)
  • Informatique

Espagnol

Conserver la fiche 57

Fiche 58 1986-12-18

Anglais

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

Français

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

Ensemble ordonné de propositions logiques à explorer de façon séquentielle. Il comprend un identificateur, une "fonction"(descripteur de ligne), une mention d’état et une proposition logique ou complexe.

Espagnol

Conserver la fiche 58

Fiche 59 1986-04-16

Anglais

Subject field(s)
  • Conferences and Colloquia: Organization
  • Group Dynamics
CONT

The usual case study group consists of from 10 to 25 trainees seated in a circle, square, or U-shaped arrangement so that each can see all others.

Français

Domaine(s)
  • Organisation de congrès et de conférences
  • Dynamique des groupes
CONT

L’agencement en fer à cheval (en U) est [...] utilisé dans les banquets et dans certains types de réunions; il représente sans doute une meilleure solution que [l’agencement avec tables perpendiculaires], nécessitant toutefois beaucoup plus de place.

OBS

Comme il faut un minimum de trois tables rectangulaires pour obtenir une configuration en U ou en fer de cheval(cf. Q1855, 1980, p. 101), il semble plus logique de recourir aux formes plurielles "tables en U" et "tables en fer de cheval" pour rendre l'expression anglaise "U-shaped arrangement". Toutefois, certains auteurs emploient le singulier pour désigner l'ensemble ou la configuration formée par plusieurs tables(cf. WEREU, 1982, p. 30).

Espagnol

Conserver la fiche 59

Fiche 60 1986-01-20

Anglais

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

Français

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

Un arbre de prédicats, associé à une relation, est défini par un arbre équilibré dont chaque niveau définit un partitionnement logique de la relation en fonction d’un ensemble de prédicats disjoints.

Espagnol

Conserver la fiche 60

Fiche 61 1985-09-19

Anglais

Subject field(s)
  • Conferences and Colloquia: Organization
  • Group Dynamics
OBS

by analogy with "U-shaped arrangement" (EMTRA, 1974, p. 165).

Français

Domaine(s)
  • Organisation de congrès et de conférences
  • Dynamique des groupes
CONT

L’agencement en "T" convient aux réunions de commissions et à toute autre forme de réunion à participation restreinte, en permettant une atmosphère d’intime collaboration.

OBS

Comme il faut au moins deux tables rectangulaires pour obtenir une configuration en T(cf. Q1855, 1980, p. 101), il semble plus logique de recourir à la forme plurielle "tables en T" pour rendre l'expression anglaise "T-shaped arrangement". Toutefois, le singulier peut également s’employer pour désigner l'ensemble ainsi formé par plusieurs tables.

Espagnol

Conserver la fiche 61

Fiche 62 1985-04-25

Anglais

Subject field(s)
  • Electronics
OBS

Philips has now combined the speed and low power of Schottky TTL and the high packing density of I2L in a new type of logic structure called integrated Schottky logic (ISL). This new technology has been used in the 8A1200 gate array which is masked to customers' requirements. The array contains 52 Schottky buffers for high fan-out, 36 I/O cells and 1144 gates.

Français

Domaine(s)
  • Électronique
OBS

Philips est parvenu à associer la vitesse et la faible consommation d’une logique transistor-transistor Schottky et la densité d’implantation élevée de la technologie I2L dans un nouveau type de structure logique appelé logique Schottky intégrée(ILS). Cette nouvelle technologie est utilisée pour la porte 8A1200 qui correspond aux besoins des usagers. Cet ensemble contient 52 mémoires tampons Schottky assurant un facteur pyramidal de sortie élevé, 36 unités d’entrée-sortie et 1144 portes.

Espagnol

Conserver la fiche 62

Fiche 63 1983-11-14

Anglais

Subject field(s)
  • Aeroindustry

Français

Domaine(s)
  • Constructions aéronautiques

Espagnol

Conserver la fiche 63

Fiche 64 1981-03-19

Anglais

Subject field(s)
  • Electronics

Français

Domaine(s)
  • Électronique
OBS

(dans un ensemble logique, bloc auquel un signal aboutit).

Espagnol

Conserver la fiche 64

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

Options d’affichage

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

En vedette

Portail linguistique du Canada

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

Outils d'aide à la rédaction

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

Lexiques et vocabulaires

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

Date de modification :