TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGIC PROBLEM [11 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2016-11-30

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
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.

CONT

Knowledge and reasoning in program synthesis.

OBS

program synthesis: term standardized by the Institute of Electrical and Electronics Engineers (IEEE)

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
DEF

Génération automatique de programmes à partir d'une description non procédurale de leurs effets souhaités.

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.

Espagnol

Conserver la fiche 1

Fiche 2 2012-05-02

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

Random logic used for control or problem solutions that require interconnection of numerous integrated circuit wired for specific purposes and relatively unalterable.

Français

Domaine(s)
  • Programmes et programmation (Informatique)

Espagnol

Conserver la fiche 2

Fiche 3 2012-02-02

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Electronic Components
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.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Composants électroniques
DEF

Configuration de circuits électroniques réalisant un traitement ou une fonction à l'aide d'instructions programmées.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Componentes electrónicos
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.

CONT

En la lógica programada se puede cambiar el repertorio de instrucciones para equiparar la capacidad de la máquina al problema.

Conserver la fiche 3

Fiche 4 2012-01-09

Anglais

Subject field(s)
  • Analytical Chemistry
  • Radiological Physics (Theory and Application)
DEF

Spectroscopy [which] involves the measurement of the time relationshipbetween two events.

OBS

A particularly difficult problem in timing is to obtain a signal that is precisely related in time to the event. A time pick-off circuit is employed to produce a logic output pulse that is consistently related in time to the beginning of each input signal. Ideally, the time of occurrence of the logic pulse from the time pick-off element is insensitive to the shape and amplitude of the input signals.

Français

Domaine(s)
  • Chimie analytique
  • Physique radiologique et applications
CONT

[Dans un détecteur fonctionnant en impulsion] le courant au travers de la résistance de charge a pratiquement la même valeur que le courant instantané dans le détecteur. La forme de l’impulsion reflète assez fidèlement la variation de courant dans le détecteur et ce signal peut être utilisé pour avoir la meilleure information sur le temps de passage de la particule dans le détecteur : ce mode est employé en spectroscopie de temps […]

Espagnol

Conserver la fiche 4

Fiche 5 - données d’organisme externe 2006-02-01

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
22.02.06 (2382)
numéro d'article de norme ISO/CEI
DEF

calculator in which the internal circuitry requires that the operating symbol be given after the input of each operand for addition and subtraction operations

OBS

When combining addition and subtraction with multiplication and division, the operator is required to take interim results.

OBS

Example : the sequence of operations used in a calculator with arithmetic logic to solve the problem 12 + 3-5/2=5

OBS

calculator with arithmetic logic: term and definition standardized by ISO/IEC [ISO 2382-22:1986].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
22.02.06 (2382)
numéro d'article de norme ISO/CEI
DEF

calculatrice dont l'organisation interne est telle que, pour les opérations d'addition et de soustraction, le symbole de l'opération est fourni après l'entrée de chaque opérande

OBS

Quand l'addition et la soustraction se combinent avec la multiplication ou la division, le passage par les résultats intermédiaires est obligatoire.

OBS

Exemple : Dans une calculatrice à logique arithmétique, voici la succession des étapes nécessaires pour exécuter le calcul 12 + 3 - 5 / 2 = 5

OBS

calculatrice à logique arithmétique : terme et définition normalisés par l'ISO/CEI [ISO 2382-22:1986].

Espagnol

Conserver la fiche 5

Fiche 6 - données d’organisme externe 2006-02-01

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
22.02.08 (2382)
numéro d'article de norme ISO/CEI
DEF

calculator in which the internal circuitry allows the first operand to be entered without operating symbols by means of an "Enter" key and the subsequent operands are immediately followed by the operating symbols

OBS

When combining addition and subtraction with multiplication and division, the operator is not required to take interim results.

OBS

Example : the sequence of operations used in a calculator with postfix notation logic entry to solve the problem 12 + 3-5/2=5

OBS

calculator with postfix notation logic; calculator with suffix notation logic; calculator with reverse-Polish notation logic: terms and definition standardized by ISO/IEC [ISO 2382-22:1986].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
22.02.08 (2382)
numéro d'article de norme ISO/CEI
DEF

calculatrice dont l'organisation interne est telle que, après l'introduction du premier opérande au moyen d'une touche «entrée», les opérandes ultérieurs sont immédiatement suivis du symbole de l'opération

OBS

Lorsque l'addition et la soustraction sont combinées avec la multiplication et la division, il n'est pas nécessaire de passer par les résultats intermédiaires.

OBS

Exemple : Dans une calculatrice à notation polonaise inverse, voici la succession des étapes nécessaires pour exécuter le calcul 12 + 3 - 5 / 2 = 5

OBS

calculatrice avec logique à notation polonaise inverse : terme et définition normalisés par l'ISO/CEI [ISO 2382-22:1986].

Espagnol

Conserver la fiche 6

Fiche 7 1989-07-23

Anglais

Subject field(s)
  • Artificial Intelligence
  • Software
  • Mathematics
CONT

No matter how we consider the family of level sets, they are objects scattered in topo. For this reason we can use a non-two-valued logic to handle them by "fuzzy optimization".... In fuzzy optimization, "the best" is a new evaluation in the structure of all evaluations, pulling back toward a synthesis. Any fuzzy optimization problem is an exploration of a knowledge tree. The constraints are partial sources of knowledge of partical descriptions of a common universe of discourse... the universe of alternatives... and by conjunction complete knowledge is derived.

Français

Domaine(s)
  • Intelligence artificielle
  • Logiciels
  • Mathématiques
OBS

optimiser : calculer le programme, le modèle optimal de (une organisation, une production).

OBS

Voir ensemble flou.

Espagnol

Conserver la fiche 7

Fiche 8 1989-03-22

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

J.S. Brown (1977) "Proceedings of the 1987 Workshop on the Frame Problem in A.I.", Los Altos, Ca : Morgan Kaufmann.

CONT

Introducing operators into logic makes logic-based planning possible but creates difficulties. For example, there must be a way to identify those expressions that persist as various operations are applied. This is called the frame problem.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Spécification des formules bien formés d'une description d'état qui doivent changer et des f.b.f. qui ne doivent pas changer. Les différences entre deux descriptions d'états peuvent être comparées aux différences entre deux images dans un dessin animé. Dans des animations très simples, certains personnages évoluent dans un décor qui ne varie pas d'une image à une autre. Dans des animations plus réalistes (et plus coûteuses), de nombreux changements se produisent également dans le décor. Une règle-Av de format STRIPS, (avec des listes de retraits et d'ajouts) traite la plupart des fbf d'une description d'état comme un décor fixe.

Espagnol

Conserver la fiche 8

Fiche 9 1987-05-22

Anglais

Subject field(s)
  • Modern Mathematics
CONT

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

Français

Domaine(s)
  • Mathématiques modernes
CONT

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

Espagnol

Conserver la fiche 9

Fiche 10 1986-11-14

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Of course this emphasis on logic as a specification language ignores a crucial aspect of conceptual modelling, the implementation problem.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 10

Fiche 11 1984-01-25

Anglais

Subject field(s)
  • Psychology (General)
DEF

any attempt to solve a problem according to the principles of logic.

Français

Domaine(s)
  • Psychologie (Généralités)

Espagnol

Conserver la fiche 11

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :