TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

Data prepared solely to test the accuracy of the programming and logic of a computerized system.  3, fiche 1, Anglais, - test%20data

Record number: 1, Textual support number: 1 OBS

test data; evaluation data: designations standardized by ISO in collaboration with the International Electrotechnical Commission.  4, fiche 1, Anglais, - test%20data

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Données servant à vérifier la précision de la programmation et de la logique d'un système informatique.  3, fiche 1, Français, - donn%C3%A9es%20d%27essai

Record number: 1, Textual support number: 1 OBS

données d'essai; données d'évaluation : désignations normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  4, fiche 1, Français, - donn%C3%A9es%20d%27essai

Fiche 1,  Justifications,  Espagnol

Record number: 1, Textual support number: 1 DEF

Información definida y creada para verificar y depurar programas y que es desarrollada tanto por los usuarios como por los programadores para validar un programa recién creado.  2, fiche 1, Espagnol, - datos%20de%20prueba

Record number: 1, Textual support number: 1 CONT

Los datos de prueba deben contener ejemplos de todas las combinaciones posibles de condiciones válidas y erróneas que pueden ocurrir para así verificar todo el programa.  2, fiche 1, Espagnol, - datos%20de%20prueba

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

A normal form for predicate calculus formulae borrowed from mathematical logic, and much used in automatic theorem proving.  2, fiche 2, Anglais, - clausal%20form

Record number: 2, Textual support number: 1 CONT

The logic used to represent knowledge in logic programming is clausal form which is a subset of first-order predicate logic.  3, fiche 2, Anglais, - clausal%20form

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

On peut représenter une formule en forme normale conjonctive par un ensemble de clauses, on parle alors de forme clausale.  2, fiche 2, Français, - forme%20clausale

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

... a clause containing at most one positive literal.  2, fiche 3, Anglais, - Horn%20clause

Record number: 3, Textual support number: 1 CONT

In logic programming, Horn clauses are expressions connected by "or" with at most one positive proposition.  3, fiche 3, Anglais, - Horn%20clause

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

[...] clause comportant au plus un littéral positif.  2, fiche 3, Français, - clause%20de%20Horn

Record number: 3, Textual support number: 1 OBS

Les clauses de Horn possèdent une syntaxe plus restrictive que les règles de production utilisées dans beaucoup de systèmes experts.  3, fiche 3, Français, - clause%20de%20Horn

Fiche 3,  Justifications,  Espagnol

Record number: 3, Textual support number: 1 DEF

Cláusula que contiene como máximo un literal positivo.  1, fiche 3, Espagnol, - cl%C3%A1usula%20de%20Horn

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A method for structuring programs as sets of logical rules with predefined algorithms for the processing of input data to a program according to the rules of that program.  2, fiche 4, Anglais, - logic%20programming

Record number: 4, Textual support number: 1 CONT

One of the most important features of logic programming is that it separates the idea of goals from the statements of how to satisfy them.  3, fiche 4, Anglais, - logic%20programming

Record number: 4, Textual support number: 2 CONT

One outcome of the procedural-declarative controversy... has been the development of "logic programming", in particular the language PROLOG... which is essentially a notation for predicate logic.  4, fiche 4, Anglais, - logic%20programming

Record number: 4, Textual support number: 1 OBS

logic programming : term standardized by ISO and CSA.  5, fiche 4, Anglais, - logic%20programming

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Programmation basée sur la logique propositionnelle, la logique des prédicats, ou une extension de celles-ci.  3, fiche 4, Français, - programmation%20logique

Record number: 4, Textual support number: 2 DEF

Méthode utilisée pour structurer les programmes sous la forme d'ensembles de règles logiques munis d'algorithmes prédéfinis permettant de traiter, selon ces règles, les données d'entrée d'un programme.  4, fiche 4, Français, - programmation%20logique

Record number: 4, Textual support number: 1 OBS

Le langage Prolog a été spécialement conçu pour ce type de programmation. Notion développée par C. Cordell Green dans sa thèse de doctorat (1969).  5, fiche 4, Français, - programmation%20logique

Record number: 4, Textual support number: 2 OBS

programmation en logique; programmation logique : termes normalisés par l'ISO et la CSA.  6, fiche 4, Français, - programmation%20logique

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

Método de programación en el que los enunciados son del tipo lógico, en el sentido técnico del término, o sea, representan proposiciones y predicados lógicos, implicaciones lógicas, etc.  1, fiche 4, Espagnol, - programaci%C3%B3n%20l%C3%B3gica

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Constraint logic programming is a subfield of AI [artificial intelligence] that deals with the use of logic to solve problems with constraints.  3, fiche 5, Anglais, - constraint%20logic%20programming

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, 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 6, Anglais, - answer%20set%20programming

Fiche 6,  Justifications,  Français

Record number: 6, 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 6, Français, - programmation%20par%20ensembles%20r%C3%A9ponses

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

In abductive logic programming, a programmer writes a set of rules that describe a set of possible explanations for a given observation. The programmer then runs the program on a set of data, and the program outputs the most likely explanation for the data.  3, fiche 7, Anglais, - abductive%20logic%20programming

Record number: 7, Textual support number: 1 OBS

Abductive logic programming is a powerful tool for AI [artificial intelligence] applications because it can help computers find explanations for data that is otherwise difficult to interpret. For example, abductive logic programming can be used to diagnose medical conditions, identify financial fraud, or plan robot movements.  3, fiche 7, Anglais, - abductive%20logic%20programming

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 CONT

La programmation logique abductive est une technique bien connue pour raisonner avec des connaissances incomplètes. Elle élargit la programmation logique normale en permettant à certains prédicats d'être incomplètement définis.  3, fiche 7, Français, - programmation%20logique%20abductive

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

... Bayesian programming... is a mathematical formalism that defines in simple mathematical terms the way that probability can be used as an alternative to logic for rational reasoning in the presence of uncertainty.  2, fiche 8, Anglais, - Bayesian%20programming

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 CONT

Comme les probabilités sont une extension de la logique, il est [...] possible d'utiliser un formalisme algébrique pour définir les modèles probabilistes. Nous avons proposé un tel formalisme, appelé «programmation bayésienne» [...]  2, fiche 8, Français, - programmation%20bay%C3%A9sienne

Fiche 8,  Justifications,  Espagnol

Record number: 8, Textual support number: 1 CONT

La programación bayesiana es un formalismo y una metodología para especificar modelos probabilísticos y resolver problemas cuando se dispone de menos de la información necesaria, es un nuevo método de programación de robots móviles basado en la inferencia bayesiana.  1, fiche 8, Espagnol, - programaci%C3%B3n%20bayesiana

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 CONT

A data librarian need not become a programmer, statistician, or database manager, but should be interested in learning about the languages and programming logic of computers, databases, and information retrieval tools.  2, fiche 9, Anglais, - data%20librarian

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 CONT

Les compétences du bibliothécaire de données et la formation : le bibliothécaire devra avoir des compétences informatiques solides (en standards de métadonnées, formats, ontologies de domaine, etc.), associées à une connaissance de la discipline de recherche.  1, fiche 9, Français, - biblioth%C3%A9caire%20de%20donn%C3%A9es

Fiche 9,  Justifications,  Espagnol

Record number: 9, Textual support number: 1 DEF

Persona que mantiene la custodia y control de los discos, cintas y manuales de procedimiento catalogándolos y supervisando el uso de dichos recursos de datos.  1, fiche 9, Espagnol, - bibliotecario%20de%20los%20datos

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 DEF

A programming language for programmable logic controllers that uses graphical program elements(contacts, coils and boxes) linked together to form a program that resembles a relay ladder logic diagram.  4, fiche 11, Anglais, - ladder%20logic%20programming%20language

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

Langage graphique [qui sert à] programmer les automates programmables industriels (PLC) [et qui permet l'écriture d'un] programme de contrôle sous la forme d'un circuit électrique comportant des interrupteurs.  5, fiche 11, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Record number: 11, Textual support number: 1 CONT

Un programme écrit en langage schéma à contacts consiste en la représentation graphique d'instructions d'un programme de l'automate, avec des symboles pour les contacts, bobines et blocs, sous la forme d'une série de réseaux exécutés de manière séquentielle par un automate.  6, fiche 11, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 DEF

Circuit line in a PROM chip or similar device that is designed to be blown apart.  3, fiche 12, Anglais, - fusible%20link

Record number: 12, Textual support number: 2 DEF

The material initially provided in a PROM that can be "blown" when the PROM is programmed.  4, fiche 12, Anglais, - fusible%20link

Record number: 12, Textual support number: 1 CONT

Fuse PROM. A programmable read-only memory on which the programming is carried out either by blowing open microscopic fuse links to define a logic one or zero for each cell in the memory array, or by causing metal to short out base-emitter transistor junctions to program the ones or zeros into the memory.  5, fiche 12, Anglais, - fusible%20link

Fiche 12,  Justifications,  Français

Fiche 12,  Justifications,  Espagnol

Record number: 12, Textual support number: 1 DEF

Técnica de memoria de sólo lectura programable (PROM) ampliamente usada. Se usa una corriente excesiva para destruir una conexión metalizada en el dispositivo de almacenamiento, creando un 0, por ejemplo si un elemento conductivo se interpreta como 1.  1, fiche 12, Espagnol, - fusible%20de%20memoria%20inalterable

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 DEF

A diagram that illustrates program logic with fixed symbols to represent structured programming constructs. It is essentially a representation of pseudocode without the supporting text.  2, fiche 13, Anglais, - logic%20flowchart

Fiche 13,  Justifications,  Français

Fiche 13,  Justifications,  Espagnol

Record number: 13, Textual support number: 1 DEF

Representación gráfica de los mayores pasos lógicos en un proceso. Los símbolos ilustrativos pueden representar documentos, máquinas o acciones a tomar durante el procedimiento. Las áreas de abstracción son dónde o quién hace qué cosa, antes que cómo debe hacerse.  1, fiche 13, Espagnol, - diagrama%20l%C3%B3gico

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 DEF

A symbolic or AI programming language based on predicate calculus.  1, fiche 14, Anglais, - Prolog

Record number: 14, Textual support number: 1 OBS

PROLOG is the most popular language for AI research outside of North America.  1, fiche 14, Anglais, - Prolog

Record number: 14, Textual support number: 2 OBS

PROgramming in LOGic. An AI programming language that is especially popular in Europe and In Japan.  4, fiche 14, Anglais, - Prolog

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 DEF

Langage de programmation logique qui permet, à la façon des systèmes experts, de résoudre les problèmes par inférence à partir de règles.  1, fiche 14, Français, - Prolog

Record number: 14, Textual support number: 1 CONT

Prolog contient en quelque sorte le noyau d'un (certain type de) système expert.  1, fiche 14, Français, - Prolog

Fiche 14,  Justifications,  Espagnol

Record number: 14, Textual support number: 1 DEF

Lenguaje de programación de alto nivel basado en la lógica usado en el campo de la inteligencia artificial.  1, fiche 14, Espagnol, - PROLOG

Record number: 14, Textual support number: 1 CONT

PROLOG está diseñado para manipular el conocimiento en vez de números. Lo que distingue a PROLOG de otros lenguajes más tradicionales orientados hacia la programación es que cada línea de PROLOG incluye tanto las instrucciones como los datos que deben ser procesados por la computadora (ordenador). Fue desarrollado por Alain Colmerauer de la Universidad de Marsella (Francia).  1, fiche 14, Espagnol, - PROLOG

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 DEF

A pattern guide on which there are flowchart, logic and other symbols used in programming.  1, fiche 15, Anglais, - programmer%27s%20template

Fiche 15,  Justifications,  Français

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 CONT

The advantage of programming sequences over relay logic and mechanical timers is assuming increasing importance since electronic systems are more versatile and reliable. The 1K1 series of programmable sequencers are designed primarily for gas turbine type applications where reliability failure detection, rapid fault finding and quick program changes are of prime importance.(Source : SAE Preprints n. 770962 for Meeting, Nov. 14-17, 1977).  1, fiche 16, Anglais, - programmable%20sequencer

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 CONT

On utilise (...) les micro-ordinateurs dans les applications où les miniordinateurs seraient trop puissants, telles que la conduite des ascenseurs, le convoyage, [et] les petits automatismes qui étaient réalisés à l'aide de circuits câblés tels que les relais. Ils sont donc voisins des séquenceurs programmables. (contexte tiré d'un projet en informatique, 1976).  1, fiche 16, Français, - s%C3%A9quenceur%20programmable

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

The basic configuration of Figure 1. 2 could be used to implement an automobile an automobile fuel injection system, an automatic machine tool, or a robot. The design of such a system requires the application of several disciplines including analog design, logic design, programming, and system design.  1, fiche 17, Anglais, - analog%20design

Fiche 17,  Justifications,  Français

Record number: 17, Textual support number: 1 OBS

Voir représentation analogique.  2, fiche 17, Français, - conception%20analogique

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 DEF

A class of programming languages, and a subclass of the declarative languages, that is based on symbolic logic. The objective is to program in "pure" logic, but this has not yet been achieved. The most widely used logic programming language is PROLOG(based on the Horn clause subset of logic) but includes certain "impure" features.  1, fiche 19, Anglais, - logic%20programming%20language

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 CONT

Il est prévu au contraire de mettre au point un langage (en cours de définition), relevant de la catégorie des langages de programmation logiques, qui permet d'exprimer non pas des instructions à exécuter scrupuleusement, mais des contraintes logiques portant sur des variables, un "moteur" se chargeant de trouver toutes les combinaisons de valeurs qui satisfont ces contraintes.  1, fiche 19, Français, - langage%20de%20programmation%20logique

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 CONT

It is desirable to have high-level languages, unlike programming languages, with which we can express requirements and specifications. The early versions of such languages... were not computable. This book describes such a language which is computable. Its statements are successively refined until program code can be automatically generated. It is mathematically based so that it produces bug-free and consistent logic.  1, fiche 20, Anglais, - provably%20correct%20language

Fiche 20,  Justifications,  Français

Record number: 20, Textual support number: 1 OBS

prouvable : qu'il est possible de prouver.  2, fiche 20, Français, - code%20prouvable%20correct

Fiche 20,  Justifications,  Espagnol