14 relações: Alfred Horn, Cláusula (lógica), Complexidade computacional, Forma normal conjuntiva, Lógica, Literal (lógica matemática), NP-completo, Princípio da resolução, Problema de satisfatibilidade booliana, Programação lógica, Prolog, Teorema, Universidade de Nova Iorque, Valoração (lógica).
Alfred Horn
Alfred Horn (17 de fevereiro de 1918 – 16 de abril de 2001) foi um matemático americano conhecido pelo seu trabalho na Teoria dos Reticulados e na Álgebra Universal.
Novo!!: Cláusula de Horn e Alfred Horn · Veja mais »
Cláusula (lógica)
Na lógica e na programação declarativa, uma cláusula é uma disjunção ou conjunção de literais, e pode ser interpretada como uma declaração (condicional).
Novo!!: Cláusula de Horn e Cláusula (lógica) · 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!!: Cláusula de Horn e Complexidade computacional · 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!!: Cláusula de Horn e Forma normal conjuntiva · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Cláusula de Horn e Lógica · Veja mais »
Literal (lógica matemática)
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo.
Novo!!: Cláusula de Horn e Literal (lógica matemática) · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: Cláusula de Horn e NP-completo · Veja mais »
Princípio da resolução
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.
Novo!!: Cláusula de Horn e Princípio da resolução · 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!!: Cláusula de Horn e Problema de satisfatibilidade booliana · Veja mais »
Programação lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática.
Novo!!: Cláusula de Horn e Programação lógica · Veja mais »
Prolog
Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática.
Novo!!: Cláusula de Horn e Prolog · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Cláusula de Horn e Teorema · Veja mais »
Universidade de Nova Iorque
A Universidade de Nova Iorque (New York University - NYU) é uma universidade privada sem fins lucrativos sediada na cidade de Nova Iorque, nos Estados Unidos.
Novo!!: Cláusula de Horn e Universidade de Nova Iorque · Veja mais »
Valoração (lógica)
Na lógica e na Teoria dos modelos, uma valoração pode ser.
Novo!!: Cláusula de Horn e Valoração (lógica) · Veja mais »