shirabe.org
Significado
  1. 1
    English · JMdict
    Horn clause
  2. 2
    Español · Wikipedia

    En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas cláusulas en 1951. Esto es un ejemplo de una cláusula de Horn: Una fórmula como esta también puede reescribirse de forma equivalente como una implicación: Una cláusula de Horn con exactamente un literal positivo es una cláusula "definite"; en álgebra universal las cláusulas "definites" resultan (aparecen) como cuasi-identidades. Una cláusula de Horn sin ningún literal positivo es a veces llamada cláusula objetivo (goal) o consulta (query), especialmente en programación lógica. Una fórmula de Horn es una cadena textual (string) de cuantificadores existentiales o universales seguidos por una conjunción nde cláusulas de Horn.

    Leer el artículo completo en Wikipedia · CC-BY-SA

  3. 3
    English · Wikipedia

    In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.

    Leer el artículo completo en Wikipedia · CC-BY-SA

Formas
Guarda esta palabra para empezar a repasarla con repetición espaciada. Guardar palabra

Códice gramatical

Qué significan las etiquetas de color

Hiragana

ひらがな

El kana redondeado y fluido. El hiragana escribe palabras japonesas nativas, terminaciones gramaticales y todo lo que va sin kanji (o junto a él): es el primer silabario que se aprende. Cada carácter representa una sílaba.

Ejemplo

ねこ — gato