TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
LOGICAL ALGEBRA [5 fiches]
Fiche 1 - données d’organisme interne 2026-01-08
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Mathematics
- Computer Programs and Programming
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- algebraic rewrite rule
1, fiche 1, Anglais, algebraic%20rewrite%20rule
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
The optimizer receives [the] initial logical query plan and performs two main phases of optimization. First, it considers algebraic rewrite rules that transform the initial relational algebra expression into an equivalent expression that will [allow for a quicker evaluation. ] 2, fiche 1, Anglais, - algebraic%20rewrite%20rule
Fiche 1, Terme(s)-clé(s)
- algebraic rewriting rule
Fiche 1, Français
Fiche 1, Domaine(s)
- Mathématiques
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- règle de réécriture algébrique
1, fiche 1, Français, r%C3%A8gle%20de%20r%C3%A9%C3%A9criture%20alg%C3%A9brique
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, Campo(s) temático(s)
- Matemáticas
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 1, La vedette principale, Espagnol
- regla de reescritura algebráica
1, fiche 1, Espagnol, regla%20de%20reescritura%20algebr%C3%A1ica
proposition, nom féminin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2022-07-27
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Algebra
Fiche 2, La vedette principale, Anglais
- Boolean algebra
1, fiche 2, Anglais, Boolean%20algebra
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- logical algebra 2, fiche 2, Anglais, logical%20algebra
correct
- binary algebra 3, fiche 2, Anglais, binary%20algebra
correct
- Boolean calculus 4, fiche 2, Anglais, Boolean%20calculus
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Boolean algebra is the category of algebra in which the variable’s values are the truth values, true and false, ordinarily denoted 1 and 0 respectively. It is used to analyze and simplify digital circuits or digital gates. 2, fiche 2, Anglais, - Boolean%20algebra
Fiche 2, Français
Fiche 2, Domaine(s)
- Algèbre
Fiche 2, La vedette principale, Français
- algèbre de Boole
1, fiche 2, Français, alg%C3%A8bre%20de%20Boole
correct, nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- algèbre binaire 2, fiche 2, Français, alg%C3%A8bre%20binaire
correct, nom féminin
- algèbre logique 3, fiche 2, Français, alg%C3%A8bre%20logique
correct, nom féminin
- algèbre booléenne 4, fiche 2, Français, alg%C3%A8bre%20bool%C3%A9enne
correct, nom féminin
- calcul booléen 5, fiche 2, Français, calcul%20bool%C3%A9en
correct, nom masculin
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Campo(s) temático(s)
- Álgebra
Fiche 2, La vedette principale, Espagnol
- álgebra binaria
1, fiche 2, Espagnol, %C3%A1lgebra%20binaria
correct, nom féminin
Fiche 2, Les abréviations, Espagnol
Fiche 2, Les synonymes, Espagnol
- álgebra de Boole 1, fiche 2, Espagnol, %C3%A1lgebra%20de%20Boole
correct, nom féminin
- cálculo de Boole 1, fiche 2, Espagnol, c%C3%A1lculo%20de%20Boole
correct, nom masculin
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1999-04-15
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
- Data Banks and Databases
Fiche 3, La vedette principale, Anglais
- relational algebra
1, fiche 3, Anglais, relational%20algebra
correct, normalisé
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
An algebra for expressing and manipulating relations. 2, fiche 3, Anglais, - relational%20algebra
Record number: 3, Textual support number: 1 CONT
The interaction between the hardware file and the software file manager will be handled by a logical language called a relational algebra. 3, fiche 3, Anglais, - relational%20algebra
Record number: 3, Textual support number: 1 OBS
relational algebra: term standardized by ISO and CSA. 4, fiche 3, Anglais, - relational%20algebra
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
- Banques et bases de données
Fiche 3, La vedette principale, Français
- algèbre relationnelle
1, fiche 3, Français, alg%C3%A8bre%20relationnelle
correct, nom féminin, normalisé
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
Algèbre permettant d'exprimer et de manipuler des relations. 2, fiche 3, Français, - alg%C3%A8bre%20relationnelle
Record number: 3, Textual support number: 1 OBS
Voir «base de données relationnelle» et «opérateur relationnel». 3, fiche 3, Français, - alg%C3%A8bre%20relationnelle
Record number: 3, Textual support number: 2 OBS
algèbre relationnelle : terme normalisé par l'ISO et la CSA. 3, fiche 3, Français, - alg%C3%A8bre%20relationnelle
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1989-07-23
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
- Software
Fiche 4, La vedette principale, Anglais
- sequential prime implicant form
1, fiche 4, Anglais, sequential%20prime%20implicant%20form
correct
Fiche 4, Les abréviations, Anglais
- SPIF 1, fiche 4, Anglais, SPIF
correct
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, 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 4, Anglais, - sequential%20prime%20implicant%20form
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
- Logiciels
Fiche 4, La vedette principale, Français
- fonction SPIF
1, fiche 4, Français, fonction%20SPIF
proposition, nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1989-07-23
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Artificial Intelligence
- Software
- Mathematics
Fiche 5, La vedette principale, Anglais
- topos
1, fiche 5, Anglais, topos
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 CONT
The word topos was used for any category whose structure is sufficiently like Set, the category whose objects are crisp sets and whose morphisms are the set functions. It topos, basic set-theoretical constructions behave much as they do in Set itself.... The principles of classical logic are represented in Set by operations on a certain set... the two element Boolean Algebra. Each topos has an analogue or this algebra, and thus, each topos has its own logical calculus. This calculus differs from classical logic. In general, the logical principles that hold in a topos are those of intuitionistic logic, which does not accept the principle of excluded middle. 1, fiche 5, Anglais, - topos
Fiche 5, Français
Fiche 5, Domaine(s)
- Intelligence artificielle
- Logiciels
- Mathématiques
Fiche 5, La vedette principale, Français
- topos
1, fiche 5, Français, topos
proposition, nom masculin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 OBS
Comparer à locus-loci. 1, fiche 5, Français, - topos
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 :