TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Hoare logic... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.  2, fiche 1, Anglais, - Hoare%20logic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.  3, fiche 1, Français, - logique%20de%20Hoare

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

An inference which derives a logical conclusion from a specific set of premises.  3, fiche 2, Anglais, - deductive%20inference

Record number: 2, Textual support number: 1 OBS

Deduction is the only truth-preserving inference.  3, fiche 2, Anglais, - deductive%20inference

Record number: 2, Textual support number: 2 OBS

deductive inference; deduction: designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.  4, fiche 2, Anglais, - deductive%20inference

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique.  1, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive

Record number: 2, Textual support number: 1 OBS

La déduction est la seule inférence qui maintient la validité des énoncés.  1, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive

Record number: 2, Textual support number: 2 OBS

inférence déductive; déduction : désignations et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  3, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Zero trust network access(ZTNA) is a product or service that creates an identity and context-based, logical access boundary around an application or set of applications. The applications are hidden from discovery, and access is restricted via a trust broker to a set of named entities.  2, fiche 3, Anglais, - zero%20trust%20network%20access

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

L'accès au réseau zéro confiance est une solution de sécurité informatique qui fournit un accès distant sécurisé aux applications, données et services d'une entreprise en fonction de politiques de contrôle d'accès clairement définies.  2, fiche 3, Français, - acc%C3%A8s%20r%C3%A9seau%20%C3%A0%20v%C3%A9rification%20syst%C3%A9matique

Record number: 3, Textual support number: 1 OBS

ZTNA : acronyme anglais signifiant «zero trust network access>.  4, fiche 3, Français, - acc%C3%A8s%20r%C3%A9seau%20%C3%A0%20v%C3%A9rification%20syst%C3%A9matique

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A form of logical inference which starts with an observation or set of observations then seeks to find the simplest and most likely explanation.  2, fiche 4, Anglais, - abductive%20reasoning

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

... we are representing relations among the elements of our domain(recall that's what a logical predicate denotes) rather than computing functions that specify a single output for a given set of inputs.  2, fiche 5, Anglais, - logical%20predicate

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 CONT

Le symbolisme modélise notamment les concepts sous la forme d'objets reliés entre eux par des prédicats logiques (appartient à, etc.).  2, fiche 5, Français, - pr%C3%A9dicat%20logique

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

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

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 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.  1, fiche 8, Anglais, - directory%20system

Record number: 8, Textual support number: 1 OBS

directory system: term and definition standardized by ISO/IEC [International Electrotechnical Commission].  2, fiche 8, Anglais, - directory%20system

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 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.  1, fiche 8, Français, - syst%C3%A8me%20annuaire

Record number: 8, Textual support number: 1 OBS

système annuaire : terme et définition normalisés par l'ISO/CEI [Commission électrotechnique internationale].  2, fiche 8, Français, - syst%C3%A8me%20annuaire

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 DEF

A set of concepts connected by logical relations; the relationships can be either vertical, as in the case of generic-specific relationships(e. g. fishing craft/trawler/shrimp trawler), or horizontal, as in the case of relationships among concepts within the same class or category(e. g. troller/trawler/dredger, which are all types of fishing craft).  1, fiche 9, Anglais, - system%20of%20concepts

Record number: 9, Textual support number: 1 OBS

system of concepts: term standardized by ISO; officially approved by the Terminology Branch, Public Works and Government Services Canada.  2, fiche 9, Anglais, - system%20of%20concepts

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 DEF

Ensemble de notions reliées entre elles par des liens logiques et formant une hiérarchie. Celle-ci peut être représentée par une structure ramifiée comportant par exemple, dans l'axe vertical, les relations de générique à spécifique (comme dans le cas de «matériaux de construction en terre cuite/brique/brique plâtrière») et, dans l'axe horizontal, les relations qui existent entre des notions appartenant à la même classe ou catégorie (telles que «tuile - brique - aggloméré», qui désignent les grands types de matériaux de construction en terre cuite).  1, fiche 9, Français, - syst%C3%A8me%20de%20notions

Record number: 9, Textual support number: 1 OBS

système de notions : terme normalisé par l'ISO; uniformisé par la Direction de la terminologie, Travaux publics et Services gouvernementaux Canada.  2, fiche 9, Français, - syst%C3%A8me%20de%20notions

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 DEF

A set of concepts structured according to the logical relationships among them.  1, fiche 10, Anglais, - concept%20system

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 DEF

Ensemble de notions et de leurs désignations (termes) qui sont interreliées et qui appartiennent au même domaine.  4, fiche 10, Français, - syst%C3%A8me%20conceptuel

Fiche 10,  Justifications,  Espagnol

Record number: 10, Textual support number: 1 DEF

Conjunto de conceptos estructurados de acuerdo con las relaciones lógicas que mantienen entre sí.  1, fiche 10, Espagnol, - sistema%20conceptual

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 DEF

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

Fiche 12,  Justifications,  Français

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 DEF

Process designed to remove inconsistencies in measured or computed quantities by applying derived corrections to compensate for random or accidental errors.  3, fiche 13, Anglais, - adjustment

Record number: 13, Textual support number: 1 CONT

Since all real measurements are imperfect, some amount of error will accumulate in the course of a survey. That error can be logically distributed throughout the survey by various adjustment procedures(i. e., manipulation of the data to produce a more logical result). Adjustments can and should be done with any set of measurements for which error can be assessed. Adjustment procedures do not correct the errors in the measurements. They simply produce a set of data that is self-consistent... The adjusted values are not necessarily true-they are just likely to be closer to the true values than the original measurements.  4, fiche 13, Anglais, - adjustment

Record number: 13, Textual support number: 1 OBS

adjustment; adjusting: terms used at Natural Resources Canada - Earth Sciences Sector.  5, fiche 13, Anglais, - adjustment

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 DEF

Détermination des corrections à apporter aux éléments observés ou à des quantités qui s'en déduisent directement en vue d'obtenir un réseau géométrique conduisant pour les coordonnées à des résultats homogènes.  2, fiche 13, Français, - compensation

Record number: 13, Textual support number: 1 OBS

compensation : terme en usage à Ressources naturelles Canada - Secteur des sciences de la Terre.  3, fiche 13, Français, - compensation

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 DEF

In VSAM [virtual storage access method], the ascending set of logical addresses(0 through 2³²-1) in which a component exists.  2, fiche 14, Anglais, - byte%20space

Record number: 14, Textual support number: 1 OBS

A byte space contains only one component, and a component exists in only one byte space.  2, fiche 14, Anglais, - byte%20space

Fiche 14,  Justifications,  Français

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 DEF

A virtual circuit service in which a logical connection is set up at the request of the calling data terminal equipment to an address make known to the network at the time the call is to be established.  3, fiche 15, Anglais, - switched%20virtual%20circuit

Record number: 15, Textual support number: 1 OBS

Switched virtual circuit service as opposed to permanent virtual circuit service.  4, fiche 15, Anglais, - switched%20virtual%20circuit

Record number: 15, Textual support number: 2 OBS

switched virtual circuit; SVC: term and abbreviation standardized by CSA.  5, fiche 15, Anglais, - switched%20virtual%20circuit

Record number: 15, Textual support number: 3 OBS

switched virtual circuit; SVC: term and abbreviation officially approved by the International Civil Aviation Organization (ICAO).  6, fiche 15, Anglais, - switched%20virtual%20circuit

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 DEF

Circuit virtuel établi et libéré à l'initiative d'un des correspondants.  4, fiche 15, Français, - circuit%20virtuel%20commut%C3%A9

Record number: 15, Textual support number: 1 OBS

circuit virtuel commuté; SVC : terme et abréviation normalisés par la CSA.  5, fiche 15, Français, - circuit%20virtuel%20commut%C3%A9

Record number: 15, Textual support number: 2 OBS

circuit virtuel commuté; CVC : terme et abréviation uniformisés par l'Organisation de l'aviation civile internationale (OACI).  6, fiche 15, Français, - circuit%20virtuel%20commut%C3%A9

Fiche 15,  Justifications,  Espagnol

Record number: 15, Textual support number: 1 OBS

circuito virtual conmutado; SVC: término y abreviatura aceptados oficialmente por la Organización de Aviación Civil Internacional (OACI).  2, fiche 15, Espagnol, - circuito%20virtual%20conmutado

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 CONT

RISC-reduced instruction set computer. The microprocessor, the VLSI chip that serves as the "brain" of a computer, performs all the arithmetic and logical operations within the machine. Microprocessors have become progressively more complex and more powerful, and include a richer, more versatile set of instructions. But noticing that "average" programs spend 90 per cent of their time executing about 10 per cent of the simpler instructions, some designers have taken a reverse track. Attempting to increase speed, they designed ;large, powerful microprocessors which perform only the simpler, faster instructions. RISC processors are used for some fancy workstations, but as our desire for computing power increases and the prices of workstations fall, workstations are becoming an option at the high end of the personal-computer market.  3, fiche 16, Anglais, - Reduced%20Instruction%20Set%20Computer

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 DEF

Ordinateur qui n'offre que les fonctions essentielles et qui supprime de nombreuses instructions des ordinateurs classiques.  4, fiche 16, Français, - ordinateur%20%C3%A0%20jeu%20d%27instructions%20r%C3%A9duit

Record number: 16, Textual support number: 1 OBS

Le RISC tend à ne doter le processeur que de fonctions très simples, très vite exécutées.  4, fiche 16, Français, - ordinateur%20%C3%A0%20jeu%20d%27instructions%20r%C3%A9duit

Fiche 16,  Justifications,  Espagnol

Record number: 16, Textual support number: 1 DEF

Unidad central de procesamiento (UCP) en que se ha reducido a un mínimo, el número de instrucciones que el procesador puede ejecutar para aumentar la velocidad del procesamiento.  2, fiche 16, Espagnol, - computadora%20de%20conjunto%20de%20instrucciones%20reducido

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

There are two types of text-formatting tags in HTML, logical and physical. Logical tags define the meaning or purpose of the affected text. Physical tags control the exact appearance of the text.  2, fiche 17, Anglais, - physical%20tag

Record number: 17, Textual support number: 2 CONT

To change the appearance of a set of characters within text, you can use one of two kinds of tags :logical style tags, which indicate the way the text is used(emphasis, citation, definition), and physical style tags, which indicate exactly the way the text is to be formatted(boldface, underline).  2, fiche 17, Anglais, - physical%20tag

Fiche 17,  Justifications,  Français

Record number: 17, Textual support number: 1 CONT

Les étiquettes physiques indiquent simplement l'apparence choisie pour un texte, comme en gras ou en italique. ll est bien naturel, dans un logiciel de traitement de texte, d'indiquer quand le texte devrait être en gras ou en italique. Mais les créateurs de pages en HTML devraient utiliser les étiquettes logiques plutôt que physiques lorsque cela est possible.  3, fiche 17, Français, - %C3%A9tiquette%20physique

Record number: 17, Textual support number: 2 CONT

Là où le marqueur physique n'effectue qu'une seule-et-unique-mise en forme, le marqueur logique est, lui, en mesure d'appliquer plusieurs styles (par exemple, caractères italiques soulignés provenant d'une police non proportionnelle).  3, fiche 17, Français, - %C3%A9tiquette%20physique

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 DEF

A set of related data elements considered as a record from a logical viewpoint.  2, fiche 18, Anglais, - logical%20record

Record number: 18, Textual support number: 1 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.  3, fiche 18, Anglais, - logical%20record

Record number: 18, Textual support number: 2 OBS

logical record: term standardized by ANSI, IEEE, ISO and CSA.  4, fiche 18, Anglais, - logical%20record

Fiche 18,  Justifications,  Français

Record number: 18, Textual support number: 1 DEF

Ensemble d'éléments de donnée associés considéré comme un enregistrement d'un point de vue logique.  3, fiche 18, Français, - enregistrement%20logique

Record number: 18, Textual support number: 1 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.  4, fiche 18, Français, - enregistrement%20logique

Record number: 18, Textual support number: 2 OBS

enregistrement logique; article : termes normalisés par l'ISO et la CSA.  5, fiche 18, Français, - enregistrement%20logique

Fiche 18,  Justifications,  Espagnol

Record number: 18, Textual support number: 1 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.  1, fiche 18, Espagnol, - registro%20l%C3%B3gico

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 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.  1, fiche 19, Anglais, - disc%20image

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 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.  2, fiche 19, Français, - fichier%20disque%20image

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

A data set format in which logical records are of varying length and include a length indicator, and in which V-format logical records may be blocked, with each block containing a block length indicator.  3, fiche 20, Anglais, - V%20format

Fiche 20,  Justifications,  Français

Fiche 20,  Justifications,  Espagnol

Record number: 20, Textual support number: 1 DEF

Formato de conjunto de datos en el que los registros lógicos son de longitud variable e incluyen un indicador de longitud, y en donde en cada registro lógico de formato V pueden contenerse bloques, con cada bloque conteniendo un indicador de longitud de bloque.  1, fiche 20, Espagnol, - formato%20V

Fiche 21,  Justifications,  Anglais

Record number: 21, Textual support number: 1 DEF

A logical unit capable of being set to operate in a specified manner, or of accepting remote setpoints or other commands.  3, fiche 21, Anglais, - programmable%20logical%20unit

Fiche 21,  Justifications,  Français

Fiche 21,  Justifications,  Espagnol

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 DEF

A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during program execution, for example, A is positive and A is greater than B.  2, fiche 22, Anglais, - assertion

Record number: 22, Textual support number: 2 DEF

A language construct specifying a particular status that must exist or a particular condition that must be satisfied at a particular point of a program when it will be executed.  3, fiche 22, Anglais, - assertion

Record number: 22, Textual support number: 1 OBS

assertion: term standardized by CSA, IEEE and ISO/IEC.  4, fiche 22, Anglais, - assertion

Fiche 22,  Justifications,  Français

Record number: 22, Textual support number: 1 DEF

Élément de langage qui spécifie l'état particulier qui doit exister ou la condition particulière que l'on doit satisfaire en un certain point de l'exécution d'un programme.  2, fiche 22, Français, - assertion

Record number: 22, Textual support number: 1 OBS

assertion : terme normalisé par la CSA et l'ISO/CEI.  3, fiche 22, Français, - assertion

Fiche 22,  Justifications,  Espagnol

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 DEF

Logical consistency is a measure of the degree to which data complies with the technical specification. Validating logical consistency way involve tests to check that table and file names are set out as in the Data Dictionary. Also included are graphical tests which check such things as intersections, polygon closure, minimum sizes of polygons and topological relationships.  1, fiche 23, Anglais, - logical%20consistency

Fiche 23,  Justifications,  Français

Fiche 23,  Justifications,  Espagnol

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 DEF

A logical input device providing a nn-negative integer defining one of a set of alternatives.  1, fiche 24, Anglais, - choice%20device

Fiche 24,  Justifications,  Français

Fiche 24,  Justifications,  Espagnol

Fiche 25,  Justifications,  Anglais

Record number: 25, Textual support number: 1 DEF

A stage in facility siting which involves the elimination of optional locations, using constraint criteria, to arrive at a set of potentially suitable radioactive waste disposal sites.  2, fiche 25, Anglais, - site%20screening

Record number: 25, Textual support number: 1 CONT

Current approaches to facility siting.... This process uses a logical sequence of activities comprising six stages... ;... area and site screening : involves the elimination of optional locations, using constraint criteria, to arrive at a set of potentially suitable sites. [Source : A report of the Siting Process Task Force on Low-Level Radioactive Waste Disposal entitled "Opting for co-operation". ]  1, fiche 25, Anglais, - site%20screening

Fiche 25,  Justifications,  Français

Record number: 25, Textual support number: 1 CONT

[...] dans sa déclaration du 19 juin 1984, [le Secrétaire d'État à l'Énergie] [...] précisait, à propos des travaux de pré-sélection des sites [de stockage] de surface : «des contacts seront pris à cet effet avec les collectivités locales concernées; la concertation devra en effet être recherchée à tous les stades de ces projets. L'ANDRA, opérateur pour les travaux de reconnaissance, veille également à l'information du public, et sera disponible pour répondre à toutes les interrogations que pourraient susciter localement les travaux de reconnaissance.  3, fiche 25, Français, - pr%C3%A9s%C3%A9lection%20de%20sites

Record number: 25, Textual support number: 1 OBS

Au cours de la première phase de l'inventaire, l'objectif est de déterminer les zones où les caractéristiques du sous-sol sont le plus en accord avec les critères de sélection des sites. Ce qui signifie une étude approfondie en rassemblant les données existantes, l'évaluation des formations géologiques dans l'optique d'un futur stockage définitif, l'établissement d'une classification des diverses zones dans la mesure où elles respectent les critères définis après les différentes études, la définition des procédures à appliquer in situ pour confirmer la présélection.  3, fiche 25, Français, - pr%C3%A9s%C3%A9lection%20de%20sites

Record number: 25, Textual support number: 2 OBS

Il a été établi en France une méthodologie de sélection des sites qui se divise en trois phases : - inventaire national des lieux possibles et présélection des plus intéressants, - confirmation par des études sur le terrain de cette présélection et sélection d'un site candidat, - caractérisation et qualification du site candidat pour procéder à l'évaluation de sûreté.  3, fiche 25, Français, - pr%C3%A9s%C3%A9lection%20de%20sites

Fiche 25,  Justifications,  Espagnol

Fiche 26,  Justifications,  Anglais

Record number: 26, Textual support number: 1 CONT

Current approaches to facility siting.... This process uses a logical sequence of activities comprising six states... ;... area and site screening : involves the elimination of optional locations, using constraint criteria, to arrive at a set of potentially suitable sites.  1, fiche 26, Anglais, - area%20screening

Fiche 26,  Justifications,  Français

Record number: 26, Textual support number: 1 OBS

Au cours de la première phase de l'inventaire, l'objectif est de déterminer les zones où les caractéristiques du sous-sol sont le plus en accord avec les critères de sélection des sites.  4, fiche 26, Français, - pr%C3%A9s%C3%A9lection%20de%20zones

Fiche 26,  Justifications,  Espagnol

Fiche 27,  Justifications,  Anglais

Record number: 27, Textual support number: 1 DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.  2, fiche 27, Anglais, - logical%20inference

Record number: 27, Textual support number: 1 CONT

Japanese planners want their machines to handle millions of logical inferences per second (LIPS) - one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.  3, fiche 27, Anglais, - logical%20inference

Record number: 27, Textual support number: 2 CONT

Each logical inference involves a set of premises, a reason, and a conclusion.... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.  4, fiche 27, Anglais, - logical%20inference

Fiche 27,  Justifications,  Français

Record number: 27, Textual support number: 1 CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles.  2, fiche 27, Français, - inf%C3%A9rence%20logique

Fiche 27,  Justifications,  Espagnol

Fiche 28,  Justifications,  Anglais

Record number: 28, Textual support number: 1 CONT

As an intelligent programming tutor, BIP is incomplete. The only form of advice it can give the student consists of hints stored with the different tasks, since it has no knowledge of design, coding or debugging. Furthermore, its feedback to the student is limited by its inability to diagnose logical errors. When a program has been completed, BIP simply tests it on a set of input/output pairs without any analysis of the algorithm, as do systems presented in Chapter 11. After a syntactic match on keywords has revealed the use or absence of certain constructs designated as necessary or forbidden for the task, the student is merely informed about language constructs that should or shouldn’t have been used.  2, fiche 28, Anglais, - intelligent%20programming%20tutor

Fiche 28,  Justifications,  Français

Fiche 28,  Justifications,  Espagnol

Fiche 29,  Justifications,  Anglais

Record number: 29, Textual support number: 1 CONT

The incorporation of many aspects of the overlay theory into WUSOR-II(Carr, 1977) represents a definite move toward a learned-oriented tutor, both for the student model and for the representation of expertise. Whereas the student's knowledge is a real overlay model her learning preferences are only represented by a set of three registers indicating her need for repetition, her degree of forgetfulness, and her receptivity to advice. As a form of curriculum, the representation of game expertise is now organized into five successive phases, ranging from basic rules of the game to logical and finally to probabilistic rules. The coach will not proceed to the next phase before the student has mastered certain fundamental skills in the current one. This is an important departure from the unsegmented rule-based approach, since the domain knowledge while still exclusively representing expertise, is structured so as to reflect the standpoint of the learner.  2, fiche 29, Anglais, - creative%20tutor

Fiche 29,  Justifications,  Français

Record number: 29, Textual support number: 1 DEF

Didacticiel IA orienté apprenant, caractérisé par un guidage discret de celui-ci.  1, fiche 29, Français, - tuteur%20orient%C3%A9%20apprenant

Record number: 29, Textual support number: 1 OBS

Désigne aussi le module pédagogique d'un tel didacticiel. Voir tuteur directif.  1, fiche 29, Français, - tuteur%20orient%C3%A9%20apprenant

Fiche 29,  Justifications,  Espagnol

Fiche 30,  Justifications,  Anglais

Record number: 30, Textual support number: 1 DEF

A mathematical or logical set containing all the elements that make a given statement of relationships true when substituted in it.  1, fiche 30, Anglais, - truth%20set

Fiche 30,  Justifications,  Français

Record number: 30, Textual support number: 1 OBS

Voir vérifonctionnel.  1, fiche 30, Français, - ensemble%20v%C3%A9rifonctionnel

Fiche 30,  Justifications,  Espagnol

Fiche 31,  Justifications,  Anglais

Record number: 31, Textual support number: 1 OBS

A set of logical names that may be referenced from any network node.  1, fiche 31, Anglais, - global%20name%20space

Fiche 31,  Justifications,  Français

Fiche 31,  Justifications,  Espagnol

Fiche 32,  Justifications,  Anglais

Record number: 32, 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, fiche 32, Anglais, - topos

Fiche 32,  Justifications,  Français

Record number: 32, Textual support number: 1 OBS

Comparer à locus-loci.  1, fiche 32, Français, - topos

Fiche 32,  Justifications,  Espagnol

Fiche 33,  Justifications,  Anglais

Record number: 33, Textual support number: 1 CONT

The President is eyeing trust powers and the Chairman of the Board sees a link to the deposit-taking institution as a part of the logical long-term plan. Both are optimistic that long overdue revisions to regulations might be completed by year end with some relaxation governing rules on cross-ownership. Mutual companies, unlike shareholder-owned companies, are not permitted to create upstream holding companies that could link them to other financial services firms, the way power financial corporations are set up.  2, fiche 33, Anglais, - cross%2Downership

Fiche 33,  Justifications,  Français

Fiche 33,  Justifications,  Espagnol