BOOLEAN ALGEBRA in French translation

• algèbre de boole
• algèbre booléenne

Examples of using Boolean algebra in English and their translations into French

well known for founding digital circuit design theory in 1937, when-as a 21-year-old master's degree student at the Massachusetts Institute of Technology(MIT)-he wrote his thesis demonstrating that electrical applications of Boolean algebra could construct any logical numerical relationship.
lorsqu'à l'âge de 21 ans il écrit, alors qu'il passe sa maîrise au Massachusetts Institute of Technology(MIT), sa thèse démontrant que les applications de l'algèbre de Boole dans le domaine de l'électricité permettent de construire n'importe quelle relation logique ou numérique.

Abstract algebraic logic Ampheck Boolean algebra(logic) Boolean domain Boolean function Boolean logic Causality Deductive reasoning Logic gate Logical graph Peirce's law Probabilistic logic Propositional calculus Sole sufficient operator Strict conditional Tautology(logic)
Abstract algebraic logic(en) Fonction NON-OU Algèbre booléenne Domaine booléen Fonction booléenne Logique booléenne Raisonnement déductif Porte logique Graphe logique Loi de Peirce logique probabiliste calcul des propositions Sole sufficient operator(en) Implication stricte Tautologie

including Boolean algebra, gates, combinational
comprenant: algèbre booléenne, portes, logique combinatoire

can indeed regain the original Boolean algebra(up to isomorphism)
l'on peut en effet retrouver l'original de l'algèbre de Boole(à un isomorphisme près)

The abbreviations BPI or PIT(for Boolean algebras) are sometimes used to refer to this additional axiom.
Les abréviations BPI ou PIT(pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire.

Boolean algebras are Stone algebras,
Les algèbres booléennes sont des algèbres de Stone

Examples of Ockham algebras include Boolean algebras, De Morgan algebras,
Des exemples d'algèbres d'Ockham comprennent les algèbres booléennes, algèbres de De Morgan, algèbres de Stone,

this is the essence of the duality pervading all Boolean algebras.
telle est l'essence de la dualité qui imprègne toutes les algèbres de Boole.

introduced Maharam algebras, complete Boolean algebras with continuous submeasures.
introduit les algèbres de Maharam, des algèbres booléennes complètes avec des sous-mesures continues.

There are many known bases for all Boolean algebras and hence for 2.
Il y a beaucoup de bases connues pour toutes les algèbres de Boole, et donc pour 2.

On the other hand, it is known that the strong PIT for distributive lattices is equivalent to BPI i.e. to the MIT and PIT for Boolean algebras.
D'autre part, il est connu que le PIT fort pour les treillis distributifs est équivalent à BPI c'est-à-dire le MIT et le PIT pour les algèbres de Boole.

one can exploit the fact the dual orders of Boolean algebras are exactly the Boolean algebras themselves.
on peut exploiter le fait que les ordres duaux des algèbres de Boole sont exactement les algèbres de Boole elles-mêmes.

For example, the modal logic S4 is characterized by the class of topological boolean algebras-that is, boolean algebras with an interior operator.
Par exemple, la logique modale S4 se caractérise par la classe des algèbres booléennes topologiques-à savoir, des algèbres booléennes possédants un opérateur intérieur.

nontrivial metatheorem states that any theorem of 2 holds for all Boolean algebras.
non-trivial stipule que tout théorème 2 est valable pour toutes les algèbres de Boole.

Summing up, for Boolean algebras, the weak and strong MIT,
En résumé, pour les algèbres de Boole, les MIT faibles

The prototypical properties that were discussed for Boolean algebras in the above section can easily be modified to include more general lattices,
Les propriétés prototypiques qui ont été discutées pour les algèbres de Boole dans la section ci-dessus peuvent être facilement modifiées pour inclure des treillis plus généraux,

one ends up with a number of theorems that equally apply to Boolean algebras, but where every occurrence of ideal is replaced by filter.
on se retrouve avec un certain nombre de théorèmes qui s'appliquent aussi pour les algèbres de Boole, mais où chaque occurrence de idéal est remplacée par filtre.

the assertion that"PIT" holds is usually taken as the assertion that the corresponding statement for Boolean algebras(BPI) is valid.
l'affirmation selon laquelle"PIT" est vrai est généralement considérée comme l'affirmation que l'énoncé correspondant pour les algèbres de Boole(BPI) est valide.

where she earned her Ph.D. in 1997 with a dissertation on The Theory of Commuting Boolean Algebras.
avec une thèse intitulée The Theory of Commuting Boolean Algebras.

Then I is contained in some prime ideal of B that is disjoint from F. The weak prime ideal theorem for Boolean algebras simply states: Every Boolean algebra contains a prime ideal.
Alors, I est contenu dans un idéal premier de B qui est disjoint de F. La version faible du théorème de l'idéal premier théorème pour les algèbres de Boole dit simplement: Toute algèbre de Boole contient un idéal premier.