Acesso mais rápido do que o navegador!
18 relações: Álgebra booliana, Ciências formais, Conjunto, Domínio booliano, Estatística, Função booliana, Função característica, Função indicadora, Lógica matemática, Lógica proposicional, Linguagem formal, Matemática, Predicado, Predicado (lógica matemática), Problema de satisfatibilidade booliana, Proposição, Tabela-verdade, Valor de verdade.
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Função booliana e Álgebra booliana · Veja mais »
Ciências formais
As ciências formais são os ramos da ciência que estudam os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística.
Novo!!: Função booliana e Ciências formais · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Função booliana e Conjunto · Veja mais »
Domínio booliano
Em matemática e em álgebra abstrata, um domínio booliano é um conjunto consistindo de exatamente dois elementos, chamados boolianos, cujas interpretações incluem falso e verdadeiro.
Novo!!: Função booliana e Domínio booliano · Veja mais »
Estatística
Um exemplo de gráfico. Estatística é a ciência que utiliza as teorias probabilísticas para explicar a frequência da ocorrência de eventos, tanto em estudos observacionais quanto em experimentos para modelar a aleatoriedade e a incerteza de forma a estimar ou possibilitar a previsão de fenômenos futuros, conforme o caso.
Novo!!: Função booliana e Estatística · 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!!: Função booliana e Função booliana · Veja mais »
Função característica
* Função indicadora — retorna 1 para elementos de um subconjunto e 0 para os demais.
Novo!!: Função booliana e Função característica · Veja mais »
Função indicadora
Na matemática, a função indicadora de um conjunto é a função que indica se o elemento pertence ao conjunto, assumindo neste caso o valor 1, e 0 em caso contrário.
Novo!!: Função booliana e Função indicadora · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Função booliana e Lógica matemática · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Função booliana e Lógica proposicional · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Função booliana e Linguagem formal · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Função booliana e Matemática · Veja mais »
Predicado
*Predicado (gramática) — termo da oração que afirme ou negue algo a respeito do sujeito.
Novo!!: Função booliana e Predicado · Veja mais »
Predicado (lógica matemática)
Em matemática, um predicado é normalmente entendido como uma função booleana P: X→, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria.
Novo!!: Função booliana e Predicado (lógica matemática) · Veja mais »
Problema de satisfatibilidade booliana
Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.
Novo!!: Função booliana e Problema de satisfatibilidade booliana · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Função booliana e Proposição · 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!!: Função booliana e Tabela-verdade · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Função booliana e Valor de verdade · Veja mais »
Redireciona aqui:
Conjunto booliano, Função booleana, Função booleana (lógica), Funções boolianas, Predicado de verdade, Proposição (matemática), Variável booliana.
