14 relações: Boolean, Cláusula de Horn, Complexidade, Complexidade computacional, Complexidade logarítmica, Forma normal algébrica, Forma normal conjuntiva, Forma normal da negação, Forma normal disjuntiva, Lista de termos relacionados aos algoritmos e às estruturas de dados, P-completo, Problema de função, Sistema formal, Teorema de Cook-Levin.
Boolean
Em ciência da computação, boolean, ou lógico, é um tipo de dado primitivo que possui dois valores, que podem ser considerados como 0 ou 1, falso ou verdadeiro.
Novo!!: Sharp-SAT e Boolean · Veja mais »
Cláusula de Horn
Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.
Novo!!: Sharp-SAT e Cláusula de Horn · Veja mais »
Complexidade
Complexidade é utilizada em filosofia, epistemologia (por autores como Anthony Wilden e Edgar Morin), linguística, pedagogia, matemática, química, física, meteorologia, estatística, biologia (por Henri Atlan), sociologia, ocupação, economia, arquitetura, medicina, psicologia, informática ou em ciências da computação ou da informação.
Novo!!: Sharp-SAT e Complexidade · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Sharp-SAT e Complexidade computacional · Veja mais »
Complexidade logarítmica
Representada por O(\log n).
Novo!!: Sharp-SAT e Complexidade logarítmica · Veja mais »
Forma normal algébrica
Forma normal algébrica (FNA), também conhecida como Polinômio de Zhegalkin ou Expressão de Reed-Muller, na lógica booleana, é vista como um método de padronização e normalização de fórmulas lógicas.
Novo!!: Sharp-SAT e Forma normal algébrica · Veja mais »
Forma normal conjuntiva
Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais.
Novo!!: Sharp-SAT e Forma normal conjuntiva · Veja mais »
Forma normal da negação
Uma fórmula lógica está na forma normal da negação se a negação ocorre logo após fórmulas atômicas, e são os únicos conectivos booleanos permitidos.
Novo!!: Sharp-SAT e Forma normal da negação · Veja mais »
Forma normal disjuntiva
Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas.
Novo!!: Sharp-SAT e Forma normal disjuntiva · Veja mais »
Lista de termos relacionados aos algoritmos e às estruturas de dados
* Abstração.
Novo!!: Sharp-SAT e Lista de termos relacionados aos algoritmos e às estruturas de dados · Veja mais »
P-completo
Na teoria da complexidade computacional, a noção de problema de decisão P-completo é útil na análise de questões como.
Novo!!: Sharp-SAT e P-completo · Veja mais »
Problema de função
Em teoria da complexidade computacional, um problema de função é um problema computacional onde uma única saída (de uma função total) é esperada pra cada entrada, mas a sáida é mais complexa do que um problema de decisão, isto é, não é apenas SIM ou NÃO.
Novo!!: Sharp-SAT e Problema de função · 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!!: Sharp-SAT e Sistema formal · Veja mais »
Teorema de Cook-Levin
Na teoria da complexidade computacional, o teorema de Cook-Levin, também conhecido como teorema de Cook, afirma que o problema de satisfatibilidade booleana é NP-completo.
Novo!!: Sharp-SAT e Teorema de Cook-Levin · Veja mais »