TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
MACHINE LOGIQUE [5 fiches]
Fiche 1 - données d’organisme interne 2026-01-08
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- logical theory machine
1, fiche 1, Anglais, logical%20theory%20machine
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- machine de théorie logique
1, fiche 1, Français, machine%20de%20th%C3%A9orie%20logique
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2012-07-05
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Electronic Circuits Technology
Fiche 2, La vedette principale, Anglais
- facer-canceller logic circuit 1, fiche 2, Anglais, facer%2Dcanceller%20logic%20circuit
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Français
Fiche 2, Domaine(s)
- Technologie des circuits électroniques
Fiche 2, La vedette principale, Français
- circuit de commande de la logique de la machine à redresser et à oblitérer
1, fiche 2, Français, circuit%20de%20commande%20de%20la%20logique%20de%20la%20machine%20%C3%A0%20redresser%20et%20%C3%A0%20oblit%C3%A9rer
nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1990-12-10
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 3, La vedette principale, Anglais
- logic machine architecture
1, fiche 3, Anglais, logic%20machine%20architecture
correct
Fiche 3, Les abréviations, Anglais
- LMA 1, fiche 3, Anglais, LMA
correct
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
A layered family of software tools designed to enable the efficient and flexible use and development of significant theorem proving systems. 1, fiche 3, Anglais, - logic%20machine%20architecture
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 3, La vedette principale, Français
- architecture de machine logique
1, fiche 3, Français, architecture%20de%20machine%20logique
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1988-04-20
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
- Philosophy (General)
Fiche 4, La vedette principale, Anglais
- logical machine
1, fiche 4, Anglais, logical%20machine
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
Peirce's notion of a reasoning, problem-solving machine that differs from any other machine merely in working upon an excessively simple principle which is applied in a manyfold and complex way, instead of upon an occult principle applied in a monotonous way. The only thing that matters is whether the result which the logical machine turns out has a relation to the data with which it is fed, which relation may be considered from the point of view of whether the former could be false so long as the latter are true. 1, fiche 4, Anglais, - logical%20machine
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
- Philosophie (Généralités)
Fiche 4, La vedette principale, Français
- machine logique
1, fiche 4, Français, machine%20logique
nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 OBS
Terminologie de Peirce. 1, fiche 4, Français, - machine%20logique
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1987-01-30
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Artificial Intelligence
- Computers and Calculators
Fiche 5, La vedette principale, Anglais
- logic machine
1, fiche 5, Anglais, logic%20machine
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 CONT
Half of the computers sold in 1993 will contain artificial intelligence components rather than arithmetic components and will be called logic machines. 1, fiche 5, Anglais, - logic%20machine
Fiche 5, Français
Fiche 5, Domaine(s)
- Intelligence artificielle
- Ordinateurs et calculateurs
Fiche 5, La vedette principale, Français
- machine logique
1, fiche 5, Français, machine%20logique
correct, nom féminin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
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 :