horn+clause

См. также в других словарях:

• Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… …   Wikipedia

• Horn — may refer to: * Horn (anatomy), the pointed projection of the skin of various animals, as an organ or its material * Horn (surname)In music and sound * Horn (instrument), sometimes called a French horn, a brass musical instrument constructed of… …   Wikipedia

• Horn (surname) — Horn is a surname, and may refer to:* Alan F. Horn * Alfred Horn (1918–2001), American mathematician ** Horn clause is a term in formal logic named after him * Alfred Aloysius Trader Horn, an African trader during the Scramble for Africa * Anton… …   Wikipedia

• Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… …   Wikipedia

• Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals …   Wikipedia

• Clause De Horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… …   Wikipédia en Français

• Clause de horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… …   Wikipédia en Français

• Clause (Logique) — Pour les articles homonymes, voir Clause. Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme : où les li sont des littéraux. La clause vide, c est à dire la disjonction de 0 …   Wikipédia en Français

• Clause de Horn — Pour les articles homonymes, voir Horn. En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. Il existe donc trois types de clauses de Horn : celles qui comportent un… …   Wikipédia en Français

• Clause (logique) — Pour les articles homonymes, voir Clause. Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme : où les li sont des littéraux. La clause vide, c est à dire la disjonction de 0 …   Wikipédia en Français

• Alfred Horn — (February 17, 1918 April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper On sentences which are true of direct unions of algebras described Horn clauses and Horn sentences,… …   Wikipedia