TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

As the term "autoepistemic logic" suggests, AEL was designed to model(a single agent's) knowledge, including knowledge derived from reasoning about knowledge.  2, fiche 1, Anglais, - autoepistemic%20logic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Logique qui a pour objet la formalisation d'un raisonnement introspectif et idéalement rationnel opéré sur un ensemble initial de croyances.  2, fiche 1, Français, - logique%20auto%C3%A9pist%C3%A9mique

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of mathematical logic.  2, fiche 2, Anglais, - graph%20logic

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Dans les domaines mathématiques de la théorie des graphes et de la théorie des modèles finis, la logique des graphes traite de la spécification formelle de propriétés de graphe en utilisant des propositions de la logique mathématique.  2, fiche 2, Français, - logique%20des%20graphes

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Les modèles logiques, en général, donnent une représentation idéalisée de nos connaissances, ce qui les rend parfois inaptes à modéliser certains de nos raisonnements.  2, fiche 3, Français, - mod%C3%A8le%20logique

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

[Instruction using] programs that understand the student’s internal cognitive structures; are able to analyse a student’s answer to a question and determine which parts of the question confuse the student. They then use that information to provide very specific instruction. A system of this type would be a substitute for a very competent and experienced teacher.  7, fiche 4, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 4, Textual support number: 1 CONT

Intelligent Computer-Assisted Instruction(ICAI)... encompasses two primary areas. One is instructional programs that model the learner... These programs collect detailed data about the student's work and formulate a hypothesis about what the student knows and is thinking.... The other area is the use of expert systems... that contain all known information on a particular topic, a set of logic that ties all this information together..., and in some cases a program that allows a person to converse easily and in natural language with the computer.  8, fiche 4, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 4, Textual support number: 2 CONT

The components of an ICAI program are problem-solving expertise, student model, and tutoring module.  9, fiche 4, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 4, Textual support number: 1 OBS

For historical reasons, much of the research in the field of educational software involving artificial intelligence has been conducted under the name of "ICAI." This acronym stands for "Intelligent Computer-Aided Instruction," a phrase that evolved out of the name "Computer-Aided Instruction" (CAI) ... Most recently, "ICAI" has often been replaced by the acronym "ITS," for "Intelligent Tutoring Systems"....  10, fiche 4, Anglais, - intelligent%20computer%2Daided%20instruction

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Enseignement à partir du principe que les programmes à vocation pédagogique devraient être eux-mêmes des experts du domaine capables de résoudre les problèmes posés de différentes façons, de suivre et de critiquer les solutions de l'étudiant.  3, fiche 4, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 4, Textual support number: 1 CONT

L'E.I.A.O. consiste à appliquer la technicité des systèmes experts à l'E.A.O., l'expert en l'occurrence étant l'enseignant-pédagogue. L'E.A.O. pratique une analyse plus ou moins affinée des réponses des apprenants. L'E.I.A.O. ambitionne d'analyser le raisonnement de cet apprenant, de lui montrer d'autres formes de raisonnement ou l'aider à les découvrir [...]  2, fiche 4, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 4, Textual support number: 1 OBS

Le sigle est aussi celui d'un projet de recherche au Laboratoire de recherche informatique d'Orsay (France).  6, fiche 4, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 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.  2, fiche 5, Anglais, - answer%20set%20programming

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 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.  2, fiche 5, Français, - programmation%20par%20ensembles%20r%C3%A9ponses

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

[A] device which performs a fixed unitary operation on selected qubits in a fixed period of time.  4, fiche 6, Anglais, - quantum%20logic%20gate

Record number: 6, Textual support number: 1 CONT

In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate(or simply quantum gate) is a basic quantum circuit operating on a small number of qubits. They are the building blocks of quantum circuits, like classical logic gates are for conventional digital circuits.  5, fiche 6, Anglais, - quantum%20logic%20gate

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Dispositif qui transforme l'état quantique d'un ou de plusieurs qubits physiques pour permettre l'exécution d'un algorithme quantique.  3, fiche 6, Français, - porte%20logique%20quantique

Record number: 6, Textual support number: 1 CONT

En informatique quantique, et plus précisément dans le modèle de circuit quantique de calcul, une porte quantique (ou porte logique quantique) est un circuit quantique élémentaire opérant sur un petit nombre de qubits. Les portes quantiques sont les briques de base des circuits quantiques, comme le sont les portes logiques classiques pour des circuits numériques classiques.  4, fiche 6, Français, - porte%20logique%20quantique

Record number: 6, Textual support number: 1 OBS

Une porte quantique à plusieurs qubits entraîne en général leur intrication quantique.  3, fiche 6, Français, - porte%20logique%20quantique

Record number: 6, Textual support number: 2 OBS

porte quantique : désignation, définition et observation publiées au Journal officiel de la République française le 20 décembre 2022.  5, fiche 6, Français, - porte%20logique%20quantique

Fiche 6,  Justifications,  Espagnol

Record number: 6, Textual support number: 1 CONT

Puertas cuánticas. Los ordenadores clásicos están compuestos por puertas lógicas como AND, OR y NOT. Estas puertas están conectadas por cables que van de la salida de una a la entrada de otra. En cambio, los ordenadores cuánticos están compuestos por puertas cuánticas, que realizan cambios en las probabilidades de obtener un estado base. Además, las puertas cuánticas son reversibles, a diferencia de la mayoría de las puertas lógicas clásicas.  2, fiche 6, Espagnol, - puerta%20l%C3%B3gica%20cu%C3%A1ntica

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

The system bus model is a computer organization [model] based on the von Neumann architecture. It deviates from the von Neumann model by combining... the arithmetic logic unit(ALU) and the central processing unit(CPU) into a single unit.  2, fiche 7, Anglais, - system%20bus%20model

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 OBS

results-based logic model : term used at the Treasury Board Secretariat.  2, fiche 8, Anglais, - results%2Dbased%20logic%20model

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 OBS

modèle logique axé sur les résultats : terme en usage au Secrétariat du Conseil du Trésor.  2, fiche 8, Français, - mod%C3%A8le%20logique%20ax%C3%A9%20sur%20les%20r%C3%A9sultats

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 OBS

The objective of this study was to develop a framework for the cost-benefit analysis of two CMHC renovation programs(Residential Rehabilitation Assistance Program for Persons with Disabilities and Home Adaptations for Seniors Independence), including all effects on applicants, their caregivers and their community. The framework features a logic model for the two programs and a quantitative model of potential impacts of the renovations over time. It also lists all the costs and benefits that might be relevant and discusses how each might be measured.  2, fiche 9, Anglais, - A%20Framework%20for%20Cost%2DBenefit%20Analysis%20of%20HASI%20and%20RRAP%2DD

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 OBS

L'objectif de cette étude visait à élaborer un cadre destiné à l'analyse coût-avantages de deux programmes offerts par la Société canadienne d'hypothèques et de logement (SCHL), en tenant compte de tous les effets de ces programmes sur les demandeurs, les aidants naturels et leur collectivité. Ces programmes sont : le programme Logements adaptés : aînés autonomes (LAAA) et le Programme d'aide à la remise en état des logements, volet pour personnes handicapées (PAREL-PH). L'équipe de chercheurs a élaboré un modèle logique applicable aux deux programmes et un modèle quantitatif des effets éventuels des rénovations au fil du temps. L'équipe a dressé une liste de tous les coûts et avantages qui pouvaient éventuellement être pertinents et s'est demandée comment chacun pouvait être évalué.  2, fiche 9, Français, - Cadre%20de%20l%27analyse%20co%C3%BBt%2Davantages%20des%20programmes%20LAAA%20et%20PAREL%2DPH

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Français

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 CONT

... once the items have entered the system, the logic of the model is identical. An item enters the system via the appropriate input conveyor and is diverted to one of the output conveyors. The appropriate output conveyor is determined using the output station assignment list. The item travels along this output conveyor until reaching the correct output station. It is diverted at its output station and then is destroyed.  3, fiche 11, Anglais, - input%20conveyor

Record number: 11, Textual support number: 2 CONT

Empty boxes are placed by hand on to the input conveyor and automatically queued and indexed forward one at a time to the mould machine unload point. Once a predetermined quantity of mouldings have been loaded into the box a signal is sent to the moulding machine to inhibit its cycle while the full box is automatically transferred to the output conveyor and an empty box moved into place, this takes 5 seconds.  4, fiche 11, Anglais, - input%20conveyor

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 CONT

De construction très robuste, le système de transport ou transporteur est constitué de plaquettes en fusion perlitique avec surface de caoutchouc vulcanisée et rectifiée. [...] Le transporteur d'entrée et celui de sortie coordonnés avec le transporteur en arrière se déplacent simultanément verticalement pour donner la possibilité de biseauter les petits volumes.  1, fiche 11, Français, - transporteur%20d%27entr%C3%A9e

Record number: 11, Textual support number: 1 OBS

[...] dans le langage courant, les mots «convoyeur» et «transporteur» sont souvent pris l'un pour l'autre mais [...] [selon] la distinction adoptée le plus fréquemment chez les constructeurs et les utilisateurs [...] [le terme «convoyeur»] désigne particulièrement tous les convoyeurs à chaînes formant un circuit fermé et comportant des chariots (trolleys) porteurs ou entraîneurs des charges. Les autres matériels se regroupent sous le mot «transporteur».  5, fiche 11, Français, - transporteur%20d%27entr%C3%A9e

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

... once the items have entered the system, the logic of the model is identical. An item enters the system via the appropriate input conveyor and is diverted to one of the output conveyors. The appropriate output conveyor is determined using the output station assignment list. The item travels along this output conveyor until reaching the correct output station. It is diverted at its output station and then is destroyed.  3, fiche 12, Anglais, - output%20conveyor

Record number: 12, Textual support number: 2 CONT

Empty boxes are placed by hand on to the input conveyor and automatically queued and indexed forward one at a time to the mould machine unload point. Once a predetermined quantity of mouldings have been loaded into the box a signal is sent to the moulding machine to inhibit its cycle while the full box is automatically transferred to the output conveyor and an empty box moved into place, this takes 5 seconds.  4, fiche 12, Anglais, - output%20conveyor

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 CONT

De construction très robuste, le système de transport ou transporteur est constitué de plaquettes en fusion perlitique avec surface de caoutchouc vulcanisée et rectifiée. [...] Le transporteur d' entrée et celui de sortie coordonnés avec le transporteur en arrière se déplacent simultanément verticalement pour donner la possibilité de biseauter les petits volumes.  1, fiche 12, Français, - transporteur%20de%20sortie

Record number: 12, Textual support number: 1 OBS

[...] dans le langage courant, les mots «convoyeur» et «transporteur» sont souvent pris l'un pour l'autre mais [...] [selon] la distinction adoptée le plus fréquemment chez les constructeurs et les utilisateurs [...] [le terme «convoyeur»] désigne particulièrement tous les convoyeurs à chaînes formant un circuit fermé et comportant des chariots (trolleys) porteurs ou entraîneurs des charges. Les autres matériels se regroupent sous le mot «transporteur».  5, fiche 12, Français, - transporteur%20de%20sortie

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 OBS

Refers to a logic model of data in a data processing system.  1, fiche 13, Anglais, - logical%20entity%20model

Record number: 13, Textual support number: 2 OBS

entity: An object or an event about which information is stored in a data base; for example, a person, or a train departure time.  2, fiche 13, Anglais, - logical%20entity%20model

Fiche 13,  Justifications,  Français

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 DEF

An informal presentation of a formal security policy model.  1, fiche 14, Anglais, - security%20policy%20model

Record number: 14, Textual support number: 1 OBS

Formal Security Policy Model. A mathematically precise statement of a security policy. To be adequately precise, such a model must represent the initial state of a system, the way in which the system progresses from one state to another, and a definition of a "secure" state of the system. To be acceptable as a basis for a TCB, the model must be supported by a formal proof that if the initial state of the system satisfies the definition of a "secure" state and if all assumptions required by the model hold, then all future states of the system will be secure. Some formal modeling techniques include : state transition models, temporal logic models, denotational semantics models, algebraic specification models. An example is the model described by Bell and LaPadula....  1, fiche 14, Anglais, - security%20policy%20model

Fiche 14,  Justifications,  Français

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 OBS

Techniques de collecte des éléments probants.  1, fiche 15, Français, - mod%C3%A8le%20logique%20de%20programme

Record number: 15, Textual support number: 2 OBS

Source(s) : Guide de vérification no 24, annexe B1, p. 59.  1, fiche 15, Français, - mod%C3%A8le%20logique%20de%20programme

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Français

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

Self's vision of formalizing teaching in terms of a student model is given a sharp focus in his work on concept teaching(Self, 1977). It differs from other projects by being a formal experiment on teaching rather than a teaching system. The domain is the acquisition of simple conjunctive concepts in a relational language close to first-order logic. An example of the concepts taught by Self's system would be R(x) T(y)("There is a rectangle and no triangle"). The target concept is taught through successive variable-free examples classified as positive or negative instances. For example, the tutor could say that R(a) T(b)("There is a rectangle a and a triangle b") is a negative example. Since the order in which the sequence of instances is presented greatly influences the time the student takes to converge on the correct concept, the idea is for the teacher to use a learning model to optimize its selection of examples.  1, fiche 17, Anglais, - concept%20teaching

Fiche 17,  Justifications,  Français

Record number: 17, Textual support number: 1 OBS

Voir étude de concepts, évaluation des concepts, test de concepts.  3, fiche 17, Français, - enseignement%20de%20type%20conceptuel

Record number: 17, Textual support number: 2 OBS

Comparer à apprentissage de concepts : apprentissage visant à trouver une fonction de reconnaissance qui permet de distinguer les éléments appartenant au concept de ceux n'en faisant pas partie.  3, fiche 17, Français, - enseignement%20de%20type%20conceptuel

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 DEF

Language that attempts to integrate input/output better with the logic programming model, by identifying the input/output streams of devices with the logical streams in the language.  1, fiche 18, Anglais, - concurrent%20logic%20language

Fiche 18,  Justifications,  Français

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 CONT

Robinson abstracted from [the notion of relatively algebraically closed in] a notion of model completion of a theory, and proved that the model completion is unique if it exists.... The systematic use of these ideas by Robinson led to the nicest applications of model theory, to Hilbert's 17th problem, and to Artin's conjecture.(Source : Handbook of Mathematical Logic; Studies in Logic and the Foundation of Mathematics Series, vol. 90, 1977, p. 141).  2, fiche 19, Anglais, - Artin%26rsquo%3Bs%20conjecture

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 CONT

Équations p-adiques et congruences modulo p (2) (Thèse du 3e cycle en Mathématiques pures par Jabbouri El Mostafa) : La conjecture d'Artin sur les équations p-adiques. Vecteurs de Witt et congruences modulo p(A). Formes singulières et congruences modulo pi(2). (Source : PASCAL).  2, fiche 19, Français, - conjecture%20d%27Artin

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

Function of setting up a topological discrete model representing the structure of a logic gate network; used to evaluate a circuit during initial design stage and to determine fault test sequences.  2, fiche 20, Anglais, - logic%20simulation

Fiche 20,  Justifications,  Français

Fiche 20,  Justifications,  Espagnol