Translation of "boolean logic" to Portuguese language:

Dictionary English-Portuguese

Logic - translation :

Keywords : Lógica Lógica Lógico Raciocínio Matemática

Examples (External sources, not reviewed)

Some aspects of logic system design make use of Boolean logic.	Alguns aspectos dos sistemas lógicos são projetados utilizando princípios da lógica Booleana.
While at Princeton pursuing his PhD, Turing built a Boolean logic multiplier (see below).	Enquanto em Princeton em busca de seu PhD, Turing construiu um multiplicador com lógica booleana (veja abaixo).
A Boolean algebra with only one element is called a trivial Boolean algebra or a degenerate Boolean algebra.	O intervalo formula_13 munido das operações formula_30, formula_31, e formula_32, é uma álgebra booliana.
)In 1854, British mathematician George Boole published a landmark paper detailing an algebraic system of logic that would become known as Boolean algebra.	Em 1854, o matemático britânico George Boole publicou um artigo fundamental detalhando um sistema lógico que se tornaria conhecido como Álgebra Booleana.
Historically, with the nineteenth century development of Boolean algebra mathematical models of logic began to treat truth , also represented as T or 1 , as an arbitrary constant.	Com o desenvolvimento da álgebra booliana no século XIX, modelos matemáticos de lógica começaram a tratar a verdade , também representada como V ou 1 , como uma constante arbitrária.
He was a Bell Labs researcher known for his work in the 1930s and 1940s on the realization of Boolean logic digital circuits using electromechanical relays as the switching element.	Os seus trabalhos mais conhecidos foram realizados nas décadas de 1930 e 1940 e eram sobre circuitos digitais baseados em lógica booleana, usando relays electromecânicos como comutadores.
blank separated search terms are boolean AND combinations	os termos de pesquisa separados por espaços são combinações E booleanas
Digital circuits Boolean functions (NOT, AND, OR, XOR...).	Em 1948 surgiu o transistor e em 1960 o circuito integrado (CI) viria a revolucionar a indústria eletrônica.
George Boole took Leibniz's binary code and created Boolean algebra, and John von Neumann took Boolean algebra and created the digital computer.	Georg Boole pegou o código binário de Leibniz e criou a álgebra booleana, e John von Neumann pegou a álgebra booleana e criou o computador digital.
Predicate logic Predicate logic is the generic term for symbolic formal systems such as first order logic, second order logic, many sorted logic, and infinitary logic.	Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas.
The Boolean valued models of ZFC are a related subject.	Os modelos de valores Booleanos de ZFC são um assunto relacionado.
Symbolic logic is often divided into two branches propositional logic and predicate logic.	A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados.
Compensatory Fuzzy Logic The CFL (Compensatory Fuzzy Logic) is a branch of Fuzzy Logic.	Na lógica fuzzy são utilizados para definir o grau máximo e mínimo de pertinência do conjunto.
1937 1970 The digital computer , the birth of computer science In 1937, while at Princeton working on his PhD thesis, Turing built a digital (Boolean logic) multiplier from scratch, making his own electromechanical relays (Hodges p. 138).	1937 1970 O computador digital , o nascimento da ciência da computação Em 1937, enquanto em Princeton trabalhando em sua tese de doutorado, Turing construiu um multiplicador (lógico booleano) digital do nada, fazendo seus próprios relés eletromecânicos (Hodges p. 138).
Logic.	Dicionário de Lógica.
388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.	388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações.
Logic In logic, Antisthenes was troubled by the problem of universals.	Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais.
There are several logic families with different characteristics (power consumption, speed, cost, size) such as RDL (resistor diode logic), RTL (resistor transistor logic), DTL (diode transistor logic), TTL (transistor transistor logic) and CMOS (complementary metal oxide semiconductor).	História Em 1854, o matemático britânico George Boole (1815 1864), através da obra intitulada An Investigation of the Laws of Thought (Uma Investigação Sobre as Leis do Pensamento), apresentou um sistema matemático de análise lógica conhecido como álgebra de Boole.
GFingerPoken logic game	Jogo de lógica GFingerPoken
Logic circuit simulator	Simulador de circuitos lógicos
Blackbox Logic Game	Jogo de Lógica Caixa Preta
Formalization of Logic .	Formalization of Logic .
Discrete algebras include boolean algebra used in logic gates and programming relational algebra used in databases discrete and finite versions of groups, rings and fields are important in algebraic coding theory discrete semigroups and monoids appear in the theory of formal languages.	Álgebras discretos incluem álgebra booleana usado em portas lógicas e programação álgebra relacional usado em bancos de dados versões discretas e finito de grupos , anéis e campos são importantes na teoria de codificação algébrica discretos semigrupos e monoids aparecer na teoria de linguagens formais .
Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics.	A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
These areas share basic results on logic, particularly first order logic, and definability.	Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade.
Logic control Logic control systems for industrial and commercial machinery were historically implemented at mains voltage using interconnected relays, designed using ladder logic.	Controles lógicos Sistemas de controles lógicos para a indústria e equipamentos comerciais foram historicamente implementados através da lógica de relés, projetados utilizando a lógica ladder.
Traditional logic The textbook tradition Traditional logic generally means the textbook tradition that begins with Antoine Arnauld and Pierre Nicole's Logic, or the Art of Thinking , better known as the Port Royal Logic .	Lógica tradicional Esta tradição começou com o livro Lógica, ou a arte do pensamento ou Lógica de Port Royal de Antoine Arnauld e Pierre Nicole.
This corresponds to a ring of sets and is an example of a Boolean ring.	Anéis boolianos e álgebras boolianas tem uma correspondência trivial.
The guards are a combination of a boolean condition and an input expression (both optional).	Os guardas são uma combinação de condições booleanas e uma expressão de entrada (ambos opcionais).
Sokoban like Logic Game	Jogo de Lógica tipo Sokoban
A number logic game	Um jogo sobre lógica de número
You need voting logic.	Você precisa escolher logicamente.
Addictive little logic game.	Um pequeno jogo lógico viciante.
Introduction to Mathematical Logic .	Introdução à Lógica Simbólica.
Introduction to Medieval Logic .	Lógica Modus ponens Modus tollens
The development of logic .	O desenvolvimento da Lógica.
Philosophical logic has a much greater concern with the connection between natural language and logic.	A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica.
For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted.	Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.	Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática.
And we'll perform this Boolean operation because we really love yellow and tapirs on green grass.	E vamos realizar essa operação Boolean porque nós realmente amamos amarelo e antas em gramas verdes.
Boolean algebra emerged in the 1860s, in papers written by William Jevons and Charles Sanders Peirce.	A álgebra booliana surgiu na década de 1860, em artigos escritos por William Jevons e Charles Sanders Peirce.
The first extensive treatment of Boolean algebra in English is A. N. Whitehead's 1898 Universal Algebra .	O primeiro tratamento extensivo de álgebra booliana em inglês foi um 1898 na Universal Algebra de Whitehead.
The logic of the market	A lógica de mercado
I can't follow his logic.	Não consigo acompanhar a lógica dele.

Exibir esta página em português