BOOLEAN ALGEBRA in Portuguese translation

• álgebra booleana
• álgebra booliana
• algebra booleana

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

Boolean algebra came of age as serious mathematics with the work of Marshall Stone in the 1930s,
A álgebra booleana começou a ser considerada uma matemática séria com o trabalho de Marshal Stone em 1930,

George Boole took Leibniz's binary code and created Boolean algebra, and John von Neumann took Boolean algebra
George Boole pegou no código binário de Leibniz e criou a álgebra booleana. John von Neumann pegou na álgebra booleana

Therefore, the number of elements of every finite Boolean algebra is a power of two.
Portanto, o número de elementos de cada finito da álgebra booleana é uma potência de dois.

geometric properties of the sixteen binary connectives within Boolean algebra.
propriedades geométricas dos dezesseis conectivos binários dentro de álgebra Booleana.

In some model there is a free complete boolean algebra on countably many generators.
Existe um modelo de ZF¬C em que existe uma free álgebra booleana completa livre em contáveis geradores.

are not limited to"true" and"false", but instead take values in some fixed complete Boolean algebra.
estão limitados a,"verdadeiro" e"falso", mas em vez disso, analisar valores por uma álgebra booleana completa.

Shannon went on to prove that it should also be possible to use arrangements of relays to solve Boolean algebra problems.
Expandindo o conceito ele também mostrou que deveria ser possível a utilização de arranjos de relés para resolver problemas de álgebra booleana.

polynomials form one of many possible representations of the operations of Boolean algebra.
Gegalkine) formam uma das muitas representações possíveis das operações booleanas.

understand the principles of Boolean algebra applied to digital circuits.
compreender os princípios da álgebra de Boole aplicados aos circuitos digitais.

It is worth noting that for the special case where the Boolean algebra under consideration is a powerset with the subset ordering, the"maximal filter theorem"
Não importa que no caso especial onde a àlgebra booleana à ser considerada é um conjunto de partes com subconjunto ordenado,

In this work, Shannon proved that boolean algebra and binary arithmetic could be used to simplify the arrangement of the electromechanical relays that were used then in telephone call routing switches.
Neste trabalho, Shannon provou que a álgebra booleana e a aritmética binária poderiam ser utilizadas para simplificar o arranjo dos relés eletromecânicos e então utilizados em comutadores para roteamento telefônico.

Fix a complete Boolean algebra B and a first-order language L; the signature of
Corrigir uma álgebra Booleana completa B e uma linguagem de primeira ordem L;

In Boolean algebra, any Boolean function can be put into the canonical disjunctive normal form(CDNF)
Na álgebra Booleana, qualquer função Booleana pode ser colocada na forma normal canônica disjuntiva(do inglês,

Assigning Boolean semantics to classical predicate calculus requires that the model be a complete Boolean algebra because the universal quantifier maps to the infimum operation,
Atribuir semântica booleana à lógica de predicados clássica requer que o modelo seja uma álgebra booleana completa porque a Quantificação universal mapeia para a operação ínfima,

the two-element Boolean algebra, has only two elements,
o dois elementos da álgebra booleana, tem apenas dois elementos,

This vector space is not equivalent to the free Boolean algebra on n generators because it lacks complementation(bitwise logical negation) as an operation equivalently,
O espaço vetorial não é equivalente à álgebra de booleana livre em n geradores porque não possui complementação(negação bit a bit)

his students devised cylindric algebras, which are to first-order logic what the two-element Boolean algebra is to classical sentential logic.
que estão para a lógica de primeira ordem assim como a álgebra booleana de dois elementos está para a lógica proposicional clássica.

We have now seen how the minterm/maxterm tools can be used to design an adder stage in canonical form with the addition of some Boolean algebra, costing just 2 gate delays for each of the outputs.
Temos visto até agora como as ferramentas de mintermo/maxtermo podem ser usadas para criar um somador de estágio na forma canônica com a adição de um pouco de álgebra Booleana, custando apenas 2 porta atrasos para cada uma das saídas.

the history of logic, boolean algebra, karnaugh maps
na história da lógica, na álgebra de boole, em mapas de karnaugh

Given a forcing poset P, there is a corresponding complete Boolean algebra B, often obtained as the collection of regular open subsets of P,
Dada um poset de forçamento P, existe uma álgebra booleana completa B correspondente, muitas vezes obtida como a coleção de subconjunto regulares abertos de P,