Acesso mais rápido do que o navegador!
42 relações: Acordo Ortográfico de 1990, Associatividade, Augustus De Morgan, Énuplo, Charles Sanders Peirce, Circuito digital, Comutatividade, Conjunção lógica, Conjunto de partes, Constante matemática, Diagrama de Venn, Disjunção lógica, Distributividade, Elemento neutro, Forma canónica, Função (matemática), Função bijectiva, Função booliana, Função inversa, George Boole, Homomorfismo, Idempotência, Intervalo (matemática), Lógica binária, Lógica difusa, Lei de absorção, Lei do terceiro excluído, Mapa de Karnaugh, Matemático, Negação, Operação binária, Operação unária, Ou exclusivo, Quantificação universal, Relação binária, Reticulado, Sistema de numeração binário, Sistema formal, Supremo, Tabela-verdade, Ultrafiltro, William Hamilton.
Acordo Ortográfico de 1990
O Acordo Ortográfico da Língua Portuguesa de 1990 (abreviado AO90), também denominado Ortografia Unificada da Língua Portuguesa, é um tratado internacional firmado em 1990 com o objetivo de criar uma ortografia unificada para o português, a ser usada por todos os países de língua oficial portuguesa (lusófonos); assinado por representantes oficiais de Angola, Brasil, Cabo Verde, Guiné-Bissau, Moçambique, Portugal e São Tomé e Príncipe na cidade de Lisboa, em 16 de dezembro de 1990.
Novo!!: Álgebra booliana e Acordo Ortográfico de 1990 · Veja mais »
Associatividade
Associatividade, em propriedade binária permite que expressões do tipo r s t possam ser escritas sem ambiguidade, ou seja, uma expressão r s t dá o mesmo resultado caso a operação que seja, em primeiro lugar, computada seja r s ou s t.G. A. Miller, What is Group Theory?, publicado em Popular Science, edição de fevereiro de 1904, p.371 A associatividade é uma das três propriedades que definem um grupo, as demais sendo a lei do cancelamento (ou seja, se r s.
Novo!!: Álgebra booliana e Associatividade · Veja mais »
Augustus De Morgan
Augustus De Morgan (Madura, Índia, — Londres) foi um matemático e lógico britânico.
Novo!!: Álgebra booliana e Augustus De Morgan · Veja mais »
Énuplo
Énuplo (também conhecido como ênuplo, énupla, ênupla, n-tuplo, n-upla ou simplesmente tupla) é uma sequência ordenada de n elementos, que pode ser definida pela recursão do par ordenado.
Novo!!: Álgebra booliana e Énuplo · Veja mais »
Charles Sanders Peirce
Charles Sanders Peirce (Cambridge, 10 de setembro de 1839 — Milford 19 de abril de 1914) foi um filósofo, pedagogista, cientista, linguista e matemático americano.
Novo!!: Álgebra booliana e Charles Sanders Peirce · Veja mais »
Circuito digital
placa de ensaio. Os circuitos digitais ou circuitos lógicos são definidos como circuitos eletrônicos que empregam a utilização de sinais elétricos em apenas dois níveis de corrente (ou tensão) para definir a representação de valores binários.
Novo!!: Álgebra booliana e Circuito digital · Veja mais »
Comutatividade
Comutatividade é uma propriedade de operações binárias, ou de ordem mais alta, em que a ordem dos operandos não altera o resultado final.
Novo!!: Álgebra booliana e Comutatividade · Veja mais »
Conjunção lógica
A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.
Novo!!: Álgebra booliana e Conjunção lógica · Veja mais »
Conjunto de partes
A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.
Novo!!: Álgebra booliana e Conjunto de partes · Veja mais »
Constante matemática
Na matemática, uma constante é um valor fixo que pode ou não ser especificado.
Novo!!: Álgebra booliana e Constante matemática · Veja mais »
Diagrama de Venn
Cirílico. Designam-se por diagramas de Venn os diagramas usados em matemática para simbolizar graficamente propriedades, axiomas e problemas relativos aos conjuntos e sua teoria.
Novo!!: Álgebra booliana e Diagrama de Venn · Veja mais »
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Álgebra booliana e Disjunção lógica · Veja mais »
Distributividade
Distributividade é uma propriedade de duas operações binárias, em que a ordem em que as operações são efetuadas pode, de certa forma, ser trocada.
Novo!!: Álgebra booliana e Distributividade · Veja mais »
Elemento neutro
Em matemática, um elemento neutro (ou identidade), é qualquer elemento cuja utilização numa operação binária bem definida não causa alteração de identidade no outro elemento com o qual entra em operação — por essa razão simples a justificar a sua neutralidade operacional.
Novo!!: Álgebra booliana e Elemento neutro · Veja mais »
Forma canónica
No campo da matemática, a forma canónica refere-se de forma geral à forma normal e clássica de representar uma dada relação.
Novo!!: Álgebra booliana e Forma canónica · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Álgebra booliana e Função (matemática) · Veja mais »
Função bijectiva
Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora, como é mais comum em português brasileiro).
Novo!!: Álgebra booliana e Função bijectiva · Veja mais »
Função booliana
Uma (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo f: X \to B, onde X é um conjunto arbitrário e B é um domínio booliano.
Novo!!: Álgebra booliana e Função booliana · Veja mais »
Função inversa
Em matemática, a função inversa de uma função f:X\rightarrow Y é, quando existe, a função f^:Y\rightarrow X tal que f\circ f^.
Novo!!: Álgebra booliana e Função inversa · Veja mais »
George Boole
George Boole (Lincoln, — Ballintemple) foi um matemático, filósofo britânico, criador da álgebra booleana, fundamental para o desenvolvimento da computação moderna.
Novo!!: Álgebra booliana e George Boole · Veja mais »
Homomorfismo
Em álgebra abstrata, um homomorfismo é uma aplicação que preserva a estrutura entre duas estruturas algébricas (como por exemplo grupos, anéis ou espaços vetoriais).
Novo!!: Álgebra booliana e Homomorfismo · Veja mais »
Idempotência
Em matemática e ciência da computação, a idempotência é a propriedade que algumas operações têm de poderem ser aplicadas várias vezes sem que o valor do resultado se altere após a aplicação inicial.
Novo!!: Álgebra booliana e Idempotência · Veja mais »
Intervalo (matemática)
Em Matemática, um intervalo (real) é um conjunto que contém cada número real entre dois extremos indicados, podendo ou não conter os próprios extremos.
Novo!!: Álgebra booliana e Intervalo (matemática) · Veja mais »
Lógica binária
Na programação de computadores, a lógica binária, ou bitwise operation opera em um ou mais padrões de bits ou números binários no nível de seus bits individuais.
Novo!!: Álgebra booliana e Lógica binária · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Álgebra booliana e Lógica difusa · Veja mais »
Lei de absorção
Em álgebra, a lei de absorção ou identidade de absorção é uma identidade que liga um par de operações binárias.
Novo!!: Álgebra booliana e Lei de absorção · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Álgebra booliana e Lei do terceiro excluído · Veja mais »
Mapa de Karnaugh
Mapa de Karnaugh é um método de simplificação gráfico criado por Edward Veitch (1952) e aperfeiçoado pelo engenheiro de telecomunicações Maurice Karnaugh.
Novo!!: Álgebra booliana e Mapa de Karnaugh · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Álgebra booliana e Matemático · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Álgebra booliana e Negação · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Álgebra booliana e Operação binária · Veja mais »
Operação unária
Na matemática uma operação unária ou 1-ária, é uma operação com apenas um operando.
Novo!!: Álgebra booliana e Operação unária · Veja mais »
Ou exclusivo
Ou exclusivo ou disjunção exclusiva é uma operação lógica entre dois operandos que resulta em um valor lógico verdadeiro se e somente se os dois operandos forem diferentes, ou seja, se um for verdadeiro e o outro for falso.
Novo!!: Álgebra booliana e Ou exclusivo · Veja mais »
Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.
Novo!!: Álgebra booliana e Quantificação universal · Veja mais »
Relação binária
Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.
Novo!!: Álgebra booliana e Relação binária · Veja mais »
Reticulado
Em matemática, especialmente na teoria da ordem e em álgebra, um reticulado é uma estrutura L.
Novo!!: Álgebra booliana e Reticulado · Veja mais »
Sistema de numeração binário
O sistema binário ou de base 2 é um sistema de numeração posicional em que todas as quantidades se representam com base em dois números, ou seja, zero e um (0 e 1).
Novo!!: Álgebra booliana e Sistema de numeração binário · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Álgebra booliana e Sistema formal · Veja mais »
Supremo
Supremo pode se referir a.
Novo!!: Álgebra booliana e Supremo · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Álgebra booliana e Tabela-verdade · Veja mais »
Ultrafiltro
Em matemática, especialmente na Teoria da ordem e na Teoria de conjuntos, um ultrafiltro é um filtro próprio maximal, ou seja, um filtro próprio que não está estritamente contido num outro filtro próprio.
Novo!!: Álgebra booliana e Ultrafiltro · Veja mais »
William Hamilton
William Hamilton (Glasgow, 8 de Março de 1788 – Edimburgo, 6 de Maio de 1856) foi um filósofo escocês.
Novo!!: Álgebra booliana e William Hamilton · Veja mais »
Redireciona aqui:
Expressão booleana, Lógica Booleana, Lógica booleana, Lógica booliana, Modelo booleano, Operação lógica, Álgebra Booleana, Álgebra booleana, Álgebra de Boole.
