TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

In essence, conditional logic refers to executing different actions in a program or process based on whether certain conditions are met.  3, fiche 1, Anglais, - conditional%20logic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

La logique conditionnelle modifie ce que les personnes voient lorsqu'elles remplissent un formulaire, en fonction de leurs réponses précédentes.  2, fiche 1, Français, - logique%20conditionnelle

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, 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 2, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 2, 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 2, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 2, Textual support number: 2 CONT

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

Record number: 2, 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 2, Anglais, - intelligent%20computer%2Daided%20instruction

Fiche 2,  Justifications,  Français

Record number: 2, 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 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 2, 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 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 2, 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 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

An apparently harmless program containing malicious logic that allows the unauthorized collection, falsification, or destruction of data.  3, fiche 3, Anglais, - Trojan%20horse

Record number: 3, Textual support number: 1 OBS

Trojan horse virus: Unlike a computer virus, ... a Trojan horse is not able to replicate itself, nor can it propagate without an end user’s assistance.  2, fiche 3, Anglais, - Trojan%20horse

Record number: 3, Textual support number: 2 OBS

Trojan horse: designation and definition standardized by ISO and the International Electrotechnical Commission; designation standardized by the Canadian Standards Association (CSA).  4, fiche 3, Anglais, - Trojan%20horse

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Programme apparemment inoffensif contenant un [programme] malveillant qui permet la collecte, la falsification ou la destruction non autorisée de données.  2, fiche 3, Français, - cheval%20de%20Troie

Record number: 3, Textual support number: 1 OBS

cheval de Troie : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale; désignation normalisée par l'Association canadienne de normalisation (CSA).  3, fiche 3, Français, - cheval%20de%20Troie

Record number: 3, Textual support number: 2 OBS

cheval de Troie : désignation publiée au Journal officiel de la République française le 20 mai 2005.  3, fiche 3, Français, - cheval%20de%20Troie

Fiche 3,  Justifications,  Espagnol

Record number: 3, Textual support number: 1 DEF

Programa que actúa como vehículo para colocar códigos destructivos, como bombas lógicas o virus, dentro de una computadora (ordenador).  2, fiche 3, Espagnol, - caballo%20de%20Troya

Record number: 3, Textual support number: 1 OBS

Programa diseñado para entrar en un ordenador sin ser detectado y permitir el acceso a personas no autorizadas a través de la red.  1, fiche 3, Espagnol, - caballo%20de%20Troya

Fiche 4,  Justifications,  Anglais

Record number: 4, 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 4, Anglais, - abductive%20logic%20programming

Record number: 4, 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 4, Anglais, - abductive%20logic%20programming

Fiche 4,  Justifications,  Français

Record number: 4, 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 4, Français, - programmation%20logique%20abductive

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Results chain is a visual tool to show what the program is doing, and why. They clarify the "logic" of the program, by showing how activities will lead to outputs, outcomes, and eventually development impact.  2, fiche 5, Anglais, - results%20chain

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Représentation de la séquence d’événements qui commence avec l'attribution de ressources permettant la réalisation d'activités qui génèrent des biens et services, les extrants de l'intervention, qui, à leur tour, suscitent des changements pour les clientèles ciblées [...], c'est-à-dire des effets.  2, fiche 5, Français, - cha%C3%AEne%20de%20r%C3%A9sultats

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

The compile time facilities are primarily intended to reduce the clerical effort required for writing programs. Character string substitution is provided and a primitive arithmetic facility is available for logic control within the compile time program, and for creating numeric values in the output text. The compile time facilities provide no syntactical analysis of statements...  2, fiche 6, Anglais, - compile%20time%20facility

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 DEF

... the generation of computer program code given some description of the problem in another form. This description might be in the form of examples of behaviour, a statement in a formal language(such as logic), a description in natural language, or result from an interactive dialogue.  2, fiche 7, Anglais, - program%20synthesis

Record number: 7, Textual support number: 1 CONT

Knowledge and reasoning in program synthesis.  3, fiche 7, Anglais, - program%20synthesis

Record number: 7, Textual support number: 1 OBS

program synthesis: term standardized by the Institute of Electrical and Electronics Engineers (IEEE)  4, fiche 7, Anglais, - program%20synthesis

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Génération automatique de programmes à partir d'une description non procédurale de leurs effets souhaités.  4, fiche 7, Français, - synth%C3%A8se%20de%20programme

Record number: 7, Textual support number: 1 CONT

La synthèse de programmes permet de synthétiser, automatiquement ou par des interactions avec l'utilisateur, des algorithmes à partir d'exemples d'entrée/sortie, de traces de calculs, ou de spécifications formelles.  5, fiche 7, Français, - synth%C3%A8se%20de%20programme

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

A computer that is controlled by internally stored programs and that is capable of using common storage for all or part of a program and also for all or part of the data necessary for the execution of the programs; executing user-written or user-designated programs; performing user-designated manipulation of digitally represented discrete data, including arithmetic operations and logic operations; and executing programs that modify themselves during their execution.  4, fiche 8, Anglais, - digital%20computer

Record number: 8, Textual support number: 1 OBS

In English, in information processing, the term computer is often used to refer to a digital computer.  4, fiche 8, Anglais, - digital%20computer

Record number: 8, Textual support number: 2 OBS

digital computer: term standardized by CSA International; term and definition standardized by ISO/IEC [International Electrotechnical Commission].  5, fiche 8, Anglais, - digital%20computer

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 DEF

Calculateur commandé par des programmes enregistrés en mémoire interne et qui est capable d'utiliser une mémoire commune pour y ranger tout ou partie d'un programme ainsi que des données nécessaires à l'exécution du programme; d'exécuter des programmes écrits ou demandés par l'utilisateur; d'effectuer à la demande de l'utilisateur des manipulations de données discrètes représentées sous forme numérique et notamment des opérations arithmétiques et des opérations logiques; et d'exécuter des programmes se modifiant en cours d'exécution.  2, fiche 8, Français, - calculateur%20num%C3%A9rique

Record number: 8, Textual support number: 1 OBS

En français, le terme ordinateur est souvent utilisé dans un sens général pour désigner un calculateur.  2, fiche 8, Français, - calculateur%20num%C3%A9rique

Record number: 8, Textual support number: 2 OBS

calculateur numérique : terme normalisé par la CSA Intenational; terme et définition normalisés par l'ISO/CEI [Commission électrotechnique internationale].  3, fiche 8, Français, - calculateur%20num%C3%A9rique

Fiche 8,  Justifications,  Espagnol

Record number: 8, Textual support number: 1 DEF

Computador que esta controlado por programas almacenados internamente y que es capaz de usar almacenamiento común para todo o parte de un programa y también para todo o parte de los datos necesarios para la ejecución de programas; ejecutando programas diseñados o escritos por el usuario, desempeñando manipulación diseñada por el usuario de datos discretos representados digitalmente, incluyendo operaciones aritméticas y lógicas, y ejecutando programas que se modifican a ellos mismos durante la ejecución.  1, fiche 8, Espagnol, - computador%20digital

Record number: 8, Textual support number: 1 OBS

Es opuesto a computadora analógica.  4, fiche 8, Espagnol, - computador%20digital

Record number: 8, Textual support number: 2 OBS

En inglés, en procesamiento de información, el término computador usualmente se refiere a un computador digital.  1, fiche 8, Espagnol, - computador%20digital

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 DEF

In a computer, permanently wired electronic components containing unalterable program logic.  2, fiche 9, Anglais, - hardwiring

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 OBS

Il existe deux techniques principales pour concevoir l'unité de commande : le câblage et la microprogrammation. [...] Pour tous les usages pratiques, les microprocesseurs microprogrammés sont essentiellement câblés, en ce sens qu'ils ne peuvent pas être modifiés par l'utilisateur.  1, fiche 9, Français, - c%C3%A2blage

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 DEF

A chart of the logic of a specific routine in which the various segments and subroutines of a program are represented by blocks.  1, fiche 10, Anglais, - macro%20flowchart

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 OBS

Service de traduction I.B.M. informatique.  1, fiche 10, Français, - ordinogramme%20de%20macro%2Dinstruction

Fiche 10,  Justifications,  Espagnol

Record number: 10, Textual support number: 1 DEF

Diagrama utilizado en el desarrollo de la parte lógica de un programa o rutina determinados, en los cuales se representan las diferentes partes y subrutinas mediante «bloques».  1, fiche 10, Espagnol, - macrodiagrama%20de%20flujo

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 DEF

The internal logic design which is alterable in accordance with a precompleted program which controls the various electronic interconnections of the gating elements; i. e., the instruction repertory can be electronically changed, or the machine capability can be matched to the problem requirement.  2, fiche 11, Anglais, - programmed%20logic

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

Configuration de circuits électroniques réalisant un traitement ou une fonction à l'aide d'instructions programmées.  2, fiche 11, Français, - logique%20programm%C3%A9e

Fiche 11,  Justifications,  Espagnol

Record number: 11, Textual support number: 1 DEF

Sistema lógico que es alterable de acuerdo con un programa que controla las conexiones equivalentes de todos los elementos de accionamiento por compuertas.  2, fiche 11, Espagnol, - l%C3%B3gica%20programada

Record number: 11, Textual support number: 1 CONT

En la lógica programada se puede cambiar el repertorio de instrucciones para equiparar la capacidad de la máquina al problema.  2, fiche 11, Espagnol, - l%C3%B3gica%20programada

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 DEF

A logic bomb to be activated at a predetermined time.  3, fiche 12, Anglais, - time%20bomb

Record number: 12, Textual support number: 1 CONT

Killer programs have names that science-fiction romance reporters love. If the program is set to activate after a certain time, it is called a "time bomb" or, if activated by a given event, it is called a "logic bomb".  4, fiche 12, Anglais, - time%20bomb

Record number: 12, Textual support number: 2 CONT

A time bomb waits for a specific date, then erases your hard disk. Murderous when combined with a Trojan horse delivery mechanism. You run a useful program, and the time bomb installs itself into the system on the hard disk. It goes off months later (after you have forgotten which program could have served as the horse).  4, fiche 12, Anglais, - time%20bomb

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 DEF

Bombe logique destinée à être activée à un instant prédéfini.  2, fiche 12, Français, - bombe%20%C3%A0%20retardement

Record number: 12, Textual support number: 1 OBS

Ne pas confondre avec "bombe logique".  3, fiche 12, Français, - bombe%20%C3%A0%20retardement

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, 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 13, Anglais, - ladder%20logic%20programming%20language

Fiche 13,  Justifications,  Français

Record number: 13, 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 13, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Record number: 13, 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 13, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 DEF

A program infected by a virus, a logic bomb, a Trojan horse or any other illegal program.  2, fiche 14, Anglais, - infected%20program

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 DEF

Programme victime d'infection par un virus, une bombe logique, un cheval de Troie ou tout autre programme pirate.  3, fiche 14, Français, - programme%20infect%C3%A9

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, 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 15, Anglais, - A%20Framework%20for%20Cost%2DBenefit%20Analysis%20of%20HASI%20and%20RRAP%2DD

Fiche 15,  Justifications,  Français

Record number: 15, 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 15, Français, - Cadre%20de%20l%27analyse%20co%C3%BBt%2Davantages%20des%20programmes%20LAAA%20et%20PAREL%2DPH

Fiche 15,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 DEF

Signifies the use of a computer to generate control logic as determined by a software program. The computer replaces the backplane of a hardwired system.  3, fiche 17, Anglais, - softwired

Fiche 17,  Justifications,  Français

Record number: 17, Textual support number: 1 DEF

Réalisée en logiciel. S'oppose à "câblé" (hard-wired).  2, fiche 17, Français, - programm%C3%A9

Fiche 17,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 OBS

Emulation is a chief function of a program that can imitate the basic instruction set of the machine being emulated. Word lengths, arithmetic and logic details, as well as other functions of another machine, are simulated.  3, fiche 19, Anglais, - microprogramming%20simulation

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 CONT

Il faut distinguer dans la phase de simulation électrique deux étapes distinctes: d'une part, ce que l'on pourrait appeler la microsimulation, c'est-à-dire l'analyse au niveau circuit élémentaire (la porte logique par exemple) des performances tant en continu qu'en dynamique des circuits de base constitutifs du circuit intégré; d'autre part la macrosimulation [...]  1, fiche 19, Français, - microsimulation

Fiche 19,  Justifications,  Espagnol

Record number: 19, Textual support number: 1 OBS

Este procedimiento tiene la simulación como su función principal ya que un microprograma puede imitar el conjunto de instrucciones básicas de la máquina que se imita. Se simulan las longitudes de palabra y detalles aritméticos y lógicos, así como otras funciones de la otra máquina.  1, fiche 19, Espagnol, - simulaci%C3%B3n%20de%20microprogramaci%C3%B3n

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

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

Record number: 20, Textual support number: 2 DEF

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

Record number: 20, 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 20, Anglais, - fusible%20link

Fiche 20,  Justifications,  Français

Fiche 20,  Justifications,  Espagnol

Record number: 20, 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 20, Espagnol, - fusible%20de%20memoria%20inalterable

Fiche 21,  Justifications,  Anglais

Record number: 21, 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 21, Anglais, - logic%20flowchart

Fiche 21,  Justifications,  Français

Fiche 21,  Justifications,  Espagnol

Record number: 21, 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 21, Espagnol, - diagrama%20l%C3%B3gico

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 DEF

... another name used for DSP [Digital Sound Processing], applied to a surround sound mode.  2, fiche 22, Anglais, - Dolby%20Pro%20Logic%20Enhanced

Record number: 22, Textual support number: 1 OBS

This program is also used for playback of sources encoded with Dolby Surround. Enhancing the "Normal" Dolby Pro Logic, the DSP technology simulates the multi-surround speaker systems of a 35 mm movie theater. This effect creates a wide surround sound field, and expands the sound stage with an improved presence image. This program is used for musical based movies, as well as drama and comedy based movies.  3, fiche 22, Anglais, - Dolby%20Pro%20Logic%20Enhanced

Fiche 22,  Justifications,  Français

Record number: 22, Textual support number: 1 CONT

[Dolby Pro Logic Enhanced]. Un grand classique du DSP, avec un décodage Pro Logic habituel, enrichi par un traitement DSP. Ce type d'effet a pour but de stimuler la présence de plusieurs enceintes surround, placées tout autour de l'auditeur. Grâce à des retards et des échos soigneusement orchestrés, le volume surround devient beaucoup plus diffus, tandis que les perspectives sont améliorées. Les voies frontales ne subissent aucun traitement.  2, fiche 22, Français, - Dolby%20Pro%20Logic%20Enhanced

Fiche 22,  Justifications,  Espagnol

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 DEF

A program that causes one computer to emulate(imitate) the logical operation of another computer. The purpose is to measure and evaluate and to exercise program logic independent of hardware environment. It is most often used for debugging logic prior to committing it to ROM.  4, fiche 23, Anglais, - simulator%20program

Record number: 23, Textual support number: 1 CONT

interactive simulation program.  5, fiche 23, Anglais, - simulator%20program

Fiche 23,  Justifications,  Français

Record number: 23, Textual support number: 1 DEF

Dispositif, système expert ou module logiciel destiné à représenter les aspects modélisables du comportement cognitif humain.  1, fiche 23, Français, - programme%20de%20simulation

Record number: 23, Textual support number: 2 DEF

[...] programme qui reproduit le comportement dynamique d'un système au moyen d'un modèle soumis à l'action d'agents externes.  4, fiche 23, Français, - programme%20de%20simulation

Record number: 23, Textual support number: 1 CONT

simulateur de recuit, simulateur interactif, simulateur logiciel  1, fiche 23, Français, - programme%20de%20simulation

Fiche 23,  Justifications,  Espagnol

Record number: 23, Textual support number: 1 DEF

Programa interpretativo diseñado para permitir que los programas escritos para una computadora (ordenador) puedan ejecutarse en otra computadora.  2, fiche 23, Espagnol, - programa%20simulador

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 CONT

We begin the history of automated theorem proving by mentioning some programs that have proven theorems in areas other than the first-order predicate calculus. A 1956 program called the ’Logic Theorist’ or simply LT... proves theorems in propositional calculus(also called sentential calculus...).  2, fiche 24, Anglais, - logic%20theory%20machine

Fiche 24,  Justifications,  Français

Fiche 24,  Justifications,  Espagnol

Fiche 25,  Justifications,  Anglais

Record number: 25, Textual support number: 1 DEF

A first order logic formula over the symbolic names, and program functions and predicates.  1, fiche 25, Anglais, - path%20condition

Fiche 25,  Justifications,  Français

Fiche 25,  Justifications,  Espagnol

Fiche 26,  Justifications,  Anglais

Record number: 26, Textual support number: 1 CONT

The computer programmer prepares or updates specifications work papers for each computer program in the approved audit application to provide effective control and to provide the auditors with the current status of each computer program, A, B, C, D detailed file and record description and flowchart or detailed logic narrative.  1, fiche 26, Anglais, - detailed%20logic%20narrative

Fiche 26,  Justifications,  Français

Record number: 26, Textual support number: 1 DEF

Explication en clair, de l'organigramme.  1, fiche 26, Français, - expos%C3%A9%20logique%20d%C3%A9taill%C3%A9

Fiche 26,  Justifications,  Espagnol

Fiche 27,  Justifications,  Anglais

Record number: 27, 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 27, Anglais, - programmable%20sequencer

Fiche 27,  Justifications,  Français

Record number: 27, 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 27, Français, - s%C3%A9quenceur%20programmable

Fiche 27,  Justifications,  Espagnol

Fiche 28,  Justifications,  Anglais

Record number: 28, Textual support number: 1 CONT

The replacement of modules(in the STAR) is controlled by a central processor called TARP(test and repair processor). The TARP contains the fault location logic and generates clock and control-sync signals, program recovery registers, and module power switching logic.  1, fiche 28, Anglais, - test%20and%20repair%20processor

Fiche 28,  Justifications,  Français

Record number: 28, Textual support number: 1 OBS

Comparer à "ordinateur STAR".  1, fiche 28, Français, - processeur%20TARP

Fiche 28,  Justifications,  Espagnol

Fiche 29,  Justifications,  Anglais

Record number: 29, 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 29, Anglais, - logic%20programming%20language

Fiche 29,  Justifications,  Français

Record number: 29, 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 29, Français, - langage%20de%20programmation%20logique

Fiche 29,  Justifications,  Espagnol

Fiche 30,  Justifications,  Anglais

Record number: 30, Textual support number: 1 CONT

The prefix "meta" means "about" and it is used because the rules and queries of a metalogical program talk about and manipulate the relation names and rules of other logic programs.  1, fiche 30, Anglais, - metalogical%20program

Fiche 30,  Justifications,  Français

Fiche 30,  Justifications,  Espagnol

Fiche 31,  Justifications,  Anglais

Record number: 31, Textual support number: 1 DEF

upgrading of devices by the insertion of functional logic boards such as expanded memory and i/o device controllers, with utilisation of the appropriate program.  1, fiche 31, Anglais, - field%20upgrading

Fiche 31,  Justifications,  Français

Fiche 31,  Justifications,  Espagnol

Fiche 32,  Justifications,  Anglais

Record number: 32, 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 32, Anglais, - provably%20correct%20language

Fiche 32,  Justifications,  Français

Record number: 32, Textual support number: 1 OBS

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

Fiche 32,  Justifications,  Espagnol