TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 OBS

The aim of knowledge harvesting is to extract semantic information from various sources and integrate it in the form of logical statements in a knowledge base.  2, fiche 1, Anglais, - knowledge%20harvesting

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

L'objectif de la récolte de connaissances est d'extraire de l'information sémantique de différentes sources afin de l'intégrer sous forme d'énoncés logiques dans une base de connaissances.  1, fiche 1, Français, - r%C3%A9colte%20de%20connaissances

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

A technology-based document, even when the information it contains is fragmented and dispersed in one or more media at one or more locations, is considered to form a whole if its logical structuring elements allow the fragments to be connected, directly or by reference, and if such elements ensure both the integrity of each fragment and the integrity of the document reconstituted as it existed prior to its fragmentation and dispersal.  2, fiche 2, Anglais, - technology%2Dbased%20document

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Ainsi, un document est qualifié de document technologique lorsque le support qui porte l'information fait appel aux technologies de l'information : que celles-ci soient électronique, magnétique, optique, sans fil ou autres ou faisant appel à une combinaison de technologies.  2, fiche 2, Français, - document%20technologique

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, 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 3, Anglais, - abductive%20reasoning

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

The page address is concatenated with the byte index field of the logical address to form the real-memory address.  2, fiche 4, Anglais, - page%20address

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

Ces registres fournissent une adresse de page qui est recherchée dans une table par [adressage calculé.]  2, fiche 4, Français, - adresse%20de%20page

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

A legal principle, of general application, sanctioned by the recognition of authorities, and usually expressed in the form of a maxim or logical proposition. Called a "rule", because in doubtful or unforeseen cases it is a guide or norm for their decision.  4, fiche 5, Anglais, - rule%20of%20law

Record number: 5, Textual support number: 1 OBS

As opposed to the more abstract "rule of law" which subordinates everyone to the law.  5, fiche 5, Anglais, - rule%20of%20law

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Norme juridiquement obligatoire [...], quels que soient sa source [...], son degré de généralité [...], sa portée [...]  3, fiche 5, Français, - r%C3%A8gle%20de%20droit

Fiche 5,  Justifications,  Espagnol

Record number: 5, Textual support number: 1 DEF

Regla o precepto que integra el Ordenamiento Jurídico, emanada de los órganos competentes del Estado o de una fuerza social (ej. la costumbre) y establecida con carácter general y coercitivo para regular la convivencia social.  2, fiche 5, Espagnol, - norma%20jur%C3%ADdica

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

A database language, supported by a database management system, used to access a database for operations such as creating, retrieving, reading, writing, and deleting data.  3, fiche 6, Anglais, - data%20manipulation%20language

Record number: 6, Textual support number: 1 OBS

These operations may be specified in the form of procedures(procedural data manipulation language) or in the form of logical expressions(descriptive data manipulation language).  3, fiche 6, Anglais, - data%20manipulation%20language

Record number: 6, Textual support number: 2 OBS

data manipulation language; DML: term, abbreviation and definition standardized by ISO/IEC [International Electrotechnical Commission].  4, fiche 6, Anglais, - data%20manipulation%20language

Record number: 6, Textual support number: 3 OBS

data manipulation language; DML: term and abbreviation standardized by CSA International.  4, fiche 6, Anglais, - data%20manipulation%20language

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Langage de base de données compatible avec un système de gestion de base de données et utilisé pour accéder à une base de données afin d'exécuter des opérations de création, d'extraction, de lecture, d'écriture et de suppression de données.  4, fiche 6, Français, - langage%20de%20manipulation%20de%20donn%C3%A9es

Record number: 6, Textual support number: 1 OBS

Ces opérations peuvent être décrites sous forme de procédures (langage de manipulation de données procédural) ou sous forme d'expressions logiques (langage de manipulation de données descriptif).  4, fiche 6, Français, - langage%20de%20manipulation%20de%20donn%C3%A9es

Record number: 6, Textual support number: 2 OBS

langage de manipulation de données; DML : terme, abréviation et définition normalisés par l'ISO/CEI [Commission électrotechnique internationale].  5, fiche 6, Français, - langage%20de%20manipulation%20de%20donn%C3%A9es

Record number: 6, Textual support number: 3 OBS

langage de manipulation de données; DML : terme et abréviation normalisés par la CSA International.  5, fiche 6, Français, - langage%20de%20manipulation%20de%20donn%C3%A9es

Fiche 6,  Justifications,  Espagnol

Record number: 6, Textual support number: 1 DEF

Conjunto de instrucciones que por lo general se encuentran incorporadas en lenguaje de programación anfitrión, usado por el programador para transferir los datos entre una base de datos y el programa de computadora (ordenador).  1, fiche 6, Espagnol, - lenguaje%20de%20manipulaci%C3%B3n%20de%20datos

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 DEF

A logical relation used to form true or false statements from predicates, such as the existential quantifier or the universal quantifier.  3, fiche 7, Anglais, - quantifier

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Relation logique qui transforme une fonction en proposition, comme le quantificateur existentiel ou universel (voir DULIN, 1984, p.401).  2, fiche 7, Français, - quantificateur

Record number: 7, Textual support number: 1 CONT

On peut citer l'ambiguïté de portée des quantificateurs, en particulier l'importance de l'ordre des mots pour la compréhension automatique.  3, fiche 7, Français, - quantificateur

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

Assimilators are best at understanding a wide range of information and putting it into concise, logical form. Such individuals are less focused on people and more interested in ideas and concepts. They prefer readings, lectures and thinking things through.  2, fiche 8, Anglais, - assimilator

Record number: 8, Textual support number: 1 OBS

One of Kolb’s four learning styles.  3, fiche 8, Anglais, - assimilator

Record number: 8, Textual support number: 2 OBS

Terminology used for the SIGMA Financial Systems Transformation (FST) Project, Public Works and Government Services Canada.  3, fiche 8, Anglais, - assimilator

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 CONT

Assimilateur : Les sujets excellent à comprendre un vaste éventail de données et à les organiser sous forme concise et logique. Ils s'intéressent plus aux idées et aux concepts qu'aux gens. Ils préfèrent les lectures, les conférences et la réflexion approfondie.  2, fiche 8, Français, - assimilateur

Record number: 8, Textual support number: 1 OBS

L'un des quatre styles d'apprentissage de Kolb.  3, fiche 8, Français, - assimilateur

Record number: 8, Textual support number: 2 OBS

Terminologie employée dans le cadre du projet de transformation des systèmes financiers (TSF) SIGMA, Travaux publics et Services gouvernementaux Canada.  3, fiche 8, Français, - assimilateur

Fiche 8,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 DEF

A mechanism incorporated into a terminal or into the network whereby the transmit path of a communication may be connected back upon the receive path.  2, fiche 10, Anglais, - test%20loop

Record number: 10, Textual support number: 1 OBS

Such a loop may be activated either by the user or by the network, and may take the form of an electrical connection(physical loop) or the repetition of a sequence of digits(logical loop).  2, fiche 10, Anglais, - test%20loop

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 DEF

Mécanisme incorporé dans un terminal ou dans le réseau pour permettre de reboucler l'une sur l'autre les canaux émission et réception d'une communication.  2, fiche 10, Français, - boucle%20d%27essai

Record number: 10, Textual support number: 1 OBS

Cette boucle peut être activée, soit par l'usager, soit par le réseau, et prendre la forme aussi bien d'une connexion électrique (boucle physique) que de la répétition d'une série de chiffres (boucle logique).  2, fiche 10, Français, - boucle%20d%27essai

Fiche 10,  Justifications,  Espagnol

Record number: 10, Textual support number: 1 DEF

Mecanismo incorporado a un terminal o a la red, en virtud del cual el trayecto de transmisión de una comunicación puede cerrarse sobre el trayecto de recepción.  1, fiche 10, Espagnol, - bucle%20de%20prueba

Record number: 10, Textual support number: 1 OBS

Este bucle puede ser activado por el usuario o por la red, y puede adoptar la forma de una conexión eléctrica, bucle físico, o de una repetición de una secuencia de digitos, bucle lógico.  1, fiche 10, Espagnol, - bucle%20de%20prueba

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 CONT

SGML provides a common markup language for a variety of document types and uses, while facilitating the portability of unformatted textual data among different installations and processing systems. SGML is intended for representation of the logical elements and associated markup, and is thus not appropriate for the final formatted form associated with a particular human-user interface device, such as a printer or computer monitor.  1, fiche 11, Anglais, - human%2Duser%20interface%20device

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 CONT

Le SGML sert de langage de balisage commun à une diversité de types de documents et d'usages et accroît la portabilité de données textuelles non formatisées entre une diversité d'installations et de systèmes de traitement. Comme il a pour but la représentation des éléments logiques et des balises connexes, il ne convient pas à la présentation formatée définitive sur certains périphériques d'interface avec l'utilisateur comme l'imprimante ou l'écran d'ordinateur.  1, fiche 11, Français, - p%C3%A9riph%C3%A9rique%20d%27interface%20avec%20l%27utilisateur

Record number: 11, Textual support number: 1 OBS

Termes (et définitions) tirés de la norme : « TBITS 14 : Standard Generalized Markup Language (SGML) - Implementation Criteria » publiée par le Services des technologies de l'information du Secrétariat du Conseil du Trésor du Canada.  2, fiche 11, Français, - p%C3%A9riph%C3%A9rique%20d%27interface%20avec%20l%27utilisateur

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

SGML provides a common markup language for a variety of document types and uses, while facilitating the portability of unformatted textual data among different installations and processing systems. SGML is intended for representation of the logical elements and associated markup, and is thus not appropriate for the final formatted form associated with a particular human-user interface device, such as a printer or computer monitor.  1, fiche 12, Anglais, - unformatted%20textual%20data

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 CONT

Le SGML sert de langage de balisage commun à une diversité de types de documents et d'usages et accroît la portabilité de données textuelles non formatisées entre une diversité d'installations et de systèmes de traitement. Comme il a pour but la représentation des éléments logiques et des balises connexes, il ne convient pas à la présentation formatée définitive sur certains périphériques d'interface avec l'utilisateur comme l'imprimante ou l'écran d'ordinateur.  1, fiche 12, Français, - donn%C3%A9es%20textuelles%20non%20formatis%C3%A9es

Record number: 12, Textual support number: 1 OBS

Termes (et définitions) tirés de la norme : « TBITS 14 : Standard Generalized Markup Language (SGML) - Implementation Criteria » publiée par le Services des technologies de l'information du Secrétariat du Conseil du Trésor du Canada.  2, fiche 12, Français, - donn%C3%A9es%20textuelles%20non%20formatis%C3%A9es

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 OBS

Logical memory : that variety of learning for which the evidence is the ability to recall or recognize the meaning of what was studied, regardless of whether one can reproduce what was studied in its exact original form.  2, fiche 13, Anglais, - logical%2Dmemory%20test

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 DEF

Test servant à évaluer l'aptitude soit à évoquer ou reconnaître la signification de ce qui a été appris sans pour autant pouvoir le restituer dans sa forme originale.  2, fiche 13, Français, - test%20de%20m%C3%A9moire%20logique

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 OBS

sequential logic: A logic methodology in which the output state is determined by the previous state of the input  2, fiche 14, Anglais, - sequential%20automation

Record number: 14, Textual support number: 2 OBS

... the reliability of the equipment can be increased by using logical sequence systems. The purpose of any form of sequential automation is to link the individual operations which make up a sequence.  1, fiche 14, Anglais, - sequential%20automation

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 DEF

Automatisme qui enchaîne des opérations successives.  1, fiche 14, Français, - automatisme%20%C3%A0%20s%C3%A9quences

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 DEF

The archetype for the relationships between system or programming concepts derived from doing an analysis of product concepts.  3, fiche 15, Anglais, - conceptual%20model

Record number: 15, Textual support number: 1 CONT

The canonical form of data... is independent of whether the data will eventually be represented by means of hierarchical, CODASYL, relational or other structures. It is sometimes called a conceptual model or conceptual schema. This model must be converted into a logical representation which the selected software can handle, and this is then represented physically.  2, fiche 15, Anglais, - conceptual%20model

Fiche 15,  Justifications,  Français

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 DEF

A chronic, slowly progressive mental disorder(personality disorder) characterized by the development of ambitions or suspicions into systematized delusions of persecution and grandeur which are built up in a logical form.  2, fiche 16, Anglais, - paranoia

Record number: 16, Textual support number: 1 OBS

May occur in systemic lupus erythematosus or be due to corticosteroids.  3, fiche 16, Anglais, - paranoia

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 DEF

[...] troubles du caractère spécifiés par l'orgueil, la méfiance, une susceptibilité exagérée, un jugement faux, une tendance aux interprétations qui favorise un délire et engendre des réactions agressives.  2, fiche 16, Français, - parano%C3%AFa

Record number: 16, Textual support number: 1 OBS

Peut s'observer dans le lupus érythémateux disséminé ou à la suite d'une corticothérapie.  3, fiche 16, Français, - parano%C3%AFa

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, 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 17, Anglais, - intelligent%20programming%20tutor

Fiche 17,  Justifications,  Français

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, 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 18, Anglais, - creative%20tutor

Fiche 18,  Justifications,  Français

Record number: 18, Textual support number: 1 DEF

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

Record number: 18, Textual support number: 1 OBS

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

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 DEF

An operative order which initiates a movement or a function.  1, fiche 19, Anglais, - command

Record number: 19, Textual support number: 1 OBS

NOTE-The order may be : 1) direct input to the machine in coded form; 2) results from a logical interaction of instructions from an outside source with conditions sensed by the machine; 3) outputs derived from the computing or comparing function.  1, fiche 19, Anglais, - command

Record number: 19, Textual support number: 2 OBS

Term and definition standardized by ISO.  2, fiche 19, Anglais, - command

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 DEF

Le commandement qui déclenche l'exécution d'un mouvement ou d'une fonction.  1, fiche 19, Français, - ordre

Record number: 19, Textual support number: 1 OBS

NOTE - Le commandement peut : 1) être fourni directement à la machine sous forme codée; 2) résulter d'une combinaison logique d'instructions d'origine extérieure, de renseignements captés par la machine elle-même; 3) être fait à partir de résultats élaborés par les organes de calcul ou de comparaison.  1, fiche 19, Français, - ordre

Record number: 19, Textual support number: 2 OBS

Terme et définition normalisés par l'ISO.  2, fiche 19, Français, - ordre

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

A sentence that is satisfied by all interpretations purely because of its logical form.  1, fiche 20, Anglais, - logical%20axiom

Fiche 20,  Justifications,  Français

Fiche 20,  Justifications,  Espagnol

Fiche 21,  Justifications,  Anglais

Record number: 21, Textual support number: 1 CONT

Fabric containment systems... fabrics can reinforce soils by being sandwiched in layers and by supporting the soil at an exposed face. A logical extension to horizontal and vertical reinforcement is the complete encapsulation of the soil by fabric. Case histories.... A series of 4-to 7-foot high dikes constructed on low-strength highly compressible marsh soils have presented continual maintenance problems since their construction.... The dike rehabilitation program utilized fabrics in two different applications. The main application was in using wooden chips as a lightweight fill and containing these by means of fabric as a form. Thus soil intrusion into the wood chips is prevented, as is lateral spreading of the wooden chips.  1, fiche 21, Anglais, - fabric%20containment%20system

Fiche 21,  Justifications,  Français

Record number: 21, Textual support number: 1 OBS

La fonction conteneur [des géotextiles] implique deux notions : - la notion de confinement de matériaux granulaires ne disposant que d'une faible cohésion (...) - la notion de matrice, où les vides interfibres du géotextile sont en mesure de contenir à cette échelle des matériaux visco-plastiques comme le bitume.  2, fiche 21, Français, - dispositif%20de%20confinement%20textile

Record number: 21, Textual support number: 2 OBS

Soutènements. Ouvrages à parement vertical ou subvertical. A. Définition : massif de terre à talus vertical ou subvertical rendu autostable par l'incorporation de nappes géotextiles et capable de reprendre des poussées extérieures. Fonctions du géotextile (...) Protection : le confinement des couches de sol d'apport sur le parement du massif par les nappes géotextiles maintient le sol en place et le protège de l'érosion.  2, fiche 21, Français, - dispositif%20de%20confinement%20textile

Fiche 21,  Justifications,  Espagnol

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 CONT

Crucifix Biaxial Test. The four sides of a rectangular or crucifix form of geotextile is clamped on all sides and force applied in cross and length direction simultaneously. The loads and extensions are recorded.  1, fiche 22, Anglais, - crucifix%20biaxial%20test

Record number: 22, Textual support number: 1 OBS

Biaxial tensile test. The logical extension of the above tests is into biaxial tension, where the specimen is usually cut into the form of a cross and is stressed in perpendicular directions.  3, fiche 22, Anglais, - crucifix%20biaxial%20test

Fiche 22,  Justifications,  Français

Record number: 22, Textual support number: 1 OBS

(...) les géotextiles non-tissés (...) ont un comportement complexe à la traction et la méconnaissance de ces phénomènes peut amener à des conclusions erronées. Nous réalisons au cours de cette étude une série d'essais de traction sur bande large; au cours de ces essais, le matériau est déchargé complètement puis rechargé à différents paliers intermédiaires.  2, fiche 22, Français, - essai%20de%20traction%20en%20croix

Fiche 22,  Justifications,  Espagnol

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 DEF

In ITS, the database containing constraints and resources for its curriculum sequencing.  1, fiche 23, Anglais, - didactic%20base

Record number: 23, Textual support number: 1 CONT

WEST's coaching principles(see figure 7. 5) provide good examples of didactic constraints in the form of pedagogical principles and of felicity conditions that reflect the needs of students. Another type of didactic constraint is provided by sequencing schemes(ex. simple to complex, focused to diversified, breadth versus focus, web versus linear, prerequisites first, important first, compiled to articulate, following logical structure, causal, teleological). The didactic base may also contains a large repertoire of local and global didactic techniques which they call teaching "routines" and "agendas"(Leinhardt and Greeno, 1986) or "tactics" and 'strategies"(Ohlsson, 1987a) These techniques can be very general(i. e., correction by counterexample), domain-specific(e. g., use of Dienes blocks for teaching decimal number representation), or even specific to classes of students(e. g., different age groups).  1, fiche 23, Anglais, - didactic%20base

Fiche 23,  Justifications,  Français

Fiche 23,  Justifications,  Espagnol

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 CONT

These Boolean expressions can now be manipulated as any Boolean algebra. Since the maps given previously cannot be reduced then(the) equations are the minimal forms for the network. Hence, they are called the sequential prime implicant form(SPIF). The SPIF, then, is a logical function that produces a logical one when proper transitions of the sequential network occur. Thus, SPIF indicates improper transitions and can be used to monitor failures in the sequential network.  1, fiche 24, Anglais, - sequential%20prime%20implicant%20form

Fiche 24,  Justifications,  Français

Fiche 24,  Justifications,  Espagnol

Fiche 25,  Justifications,  Anglais

Record number: 25, Textual support number: 1 DEF

Strict, logical, or analytical implication (as between two statements so that one can be deduced from the other on purely logical grounds).  5, fiche 25, Anglais, - logical%20implication

Record number: 25, Textual support number: 1 CONT

Situation semantics claims that efficiency undermines the standard notions of logical form, entailment, and proof theory, and objects to the view that mental processes necessarily involve internal representations.  6, fiche 25, Anglais, - logical%20implication

Fiche 25,  Justifications,  Français

Record number: 25, Textual support number: 1 DEF

Relation logique consistant en ce qu'une chose en implique une autre. En logique mathématique : implication d'une proposition B par une proposition A, proposition qui n'est fausse que si A est vraie et B est fausse.  3, fiche 25, Français, - implication%20logique

Fiche 25,  Justifications,  Espagnol

Fiche 26,  Justifications,  Anglais

Record number: 26, Textual support number: 1 OBS

The verbal or sentential form which displays the grammatical subject as the recipient or "logical object" of the action expressed by the verb(as opposed to active voice), e. g. The mouse was caught by the cat.(cf. HARLA, 1972, p. 252).  2, fiche 26, Anglais, - passive%20voice

Fiche 26,  Justifications,  Français

Record number: 26, Textual support number: 1 CONT

Lorsque le sujet de la phrase est en fait l'objet d'un verbe actif dans une phrase sous-jacente, le verbe est à la voix passive, la phrase est une phrase passive.  1, fiche 26, Français, - voix%20passive

Fiche 26,  Justifications,  Espagnol

Fiche 27,  Justifications,  Anglais

Record number: 27, Textual support number: 1 CONT

A logical form is generally meant to capture in artificial language the common semantics of many varying syntactic forms of the language.  2, fiche 27, Anglais, - logical%20form

Record number: 27, Textual support number: 2 CONT

Logical form of constructs not their physical forms.  3, fiche 27, Anglais, - logical%20form

Fiche 27,  Justifications,  Français

Fiche 27,  Justifications,  Espagnol

Fiche 28,  Justifications,  Anglais

Record number: 28, Textual support number: 1 DEF

A popular form of logic used by the AI Community for representing knowledge and performing logical inference. First Order Predicate Logic permits assertions to be made about variables in a proposition.  1, fiche 28, Anglais, - first%20order%20predicate%20logic

Fiche 28,  Justifications,  Français

Fiche 28,  Justifications,  Espagnol

Fiche 29,  Justifications,  Anglais

Record number: 29, Textual support number: 1 CONT

The logical units are the ports through which an end user accesses the communication facilities of the network. The logical units form the logical network resources.  1, fiche 29, Anglais, - logical%20network

Fiche 29,  Justifications,  Français

Fiche 29,  Justifications,  Espagnol

Fiche 30,  Justifications,  Anglais

Record number: 30, Textual support number: 1 OBS

synthetic-display generation :Logical and numerical processing to display collected data or calculated data in symbolic form.  2, fiche 30, Anglais, - synthetic%20display

Fiche 30,  Justifications,  Français

Fiche 30,  Justifications,  Espagnol