Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Cláusula de Horn

Índice 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.

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 »

Redireciona aqui:

Cláusula de horn, Cláusulas de Horn, Cláusulas de horn.

CessanteEntrada
Ei! Agora estamos em Facebook! »