computer-science - tipos - qué es el predicado

¿Qué significa ''predicado'' en el contexto de la informática?

Question

Esta pregunta ya tiene una respuesta aquí:

• ¿Qué es un predicado? 11 respuestas

Específicamente, lo he visto utilizado en el contexto del filtrado de texto. Como si "predicado" == "criterios de filtro".

Es esto exacto?

Answer 1

Es un término que se usa con más frecuencia en el campo de la Lógica Matemática.

Desde wikipedia

En matemáticas, un predicado es una relación o la función de valor booleano que equivale a la función característica o la función indicadora de dicha relación.

Una función P: X → {verdadero, falso} se llama predicado en X. Cuando P es un predicado en X, a veces decimos que P es una propiedad de X.

.

"predicado" == "criterio de filtro"

Answer 2

La palabra proviene de la lógica.

Un predicado es una pregunta booleana "es" sobre las entradas.

"IsNull" es una pregunta predicativa.

Además, enlace de Wikipedia sobre Predicados en Matemáticas .

Answer 3

Predicado es una función que toma un elemento como parámetro de entrada y devuelve verdadero o falso. Los predicados se usan en funciones de orden superior, aplicadas a una función dada (también conocido como transformador) a nivel de elemento a una lista de elementos y devuelve una lista de resultados. Transformador es una función que se aplica a cada elemento y producirá uno o más elementos nuevos.

Answer 4

Proposición:

• Definitivamente establecido en verdadero o falso
• no depende de los valores de los parámetros
• p.ej
  • "x + 2 = 2x, cuando x = -2" => verdadero
  • "2 * 2 = 5" => falso

Predicado:

• el valor de verdad depende del valor del parámetro
• p.ej
  • "x + 2 = 2x" => el valor de verdad es desconocido y depende del valor de x

Use cuantificadores para transformar el predicado en proposición:

• ∃x∈Z (x + 2 = 2x) "Existe ax en el conjunto de enteros tal que x + 2 = 2x"

Answer 5

Solo para simplificar las cosas. predicado es una función que devuelve un valor verdadero o falso.

se usa como un "criterio de filtro" lo que significa: permite considerar una matriz de números y un predicado que devuelve verdadero si el número es> 0, falso de lo contrario.

function predicate(number){
  return number > 0 
}
// array of numbers 
var numbers = [-2 , -1 , 0 , 1 , 2];

var newNumbers = numbers.filter(predicate);

// newNumbers => [1 , 2] ;

filter es una función que devuelve una nueva matriz basada en un predicado (o un "criterio de filtro").

ha filtrado la matriz en función del valor del predicado

• verdadero: incluir valor
• falso: no incluirlo

Answer 6

Un predicado (''PRED-i-cat'') es la parte de una oración que contiene el verbo y le dice algo acerca del sujeto.

Por ejemplo, en la oración

"Mike está comiendo", tenemos el sujeto, "Mike", y el predicado, "está comiendo".

En el contexto de la ciencia de la computación, no estamos interesados ​​en establecer un hecho, sino en probar una condición de verdadero / falso con el propósito de decidir si hacer algo.

Person mike;

if (!mike.isEating())
    feedPerson(mike);

El miembro isEating() de mike (una instancia de Person ) es un predicado. Devuelve true o false para la afirmación de que la person ( mike en este caso) está comiendo. El predicado se usa para decidir si alimentar o no a la persona.

Los predicados a menudo se encuentran en forma de devoluciones de llamadas, pero en general podemos usar el término para cualquier función que devuelva un bool basado en la evaluación de la verdad de una afirmación.

Para ordenar, puede querer tener la función de miembro

bool Fruit::ComesAfter(Fruit x) ...

como nuestro predicado. Si x viene después de nosotros, nuestro algoritmo de clasificación intercambiará las dos frutas.

También está el término predicado (predi-KATE). En inglés lo usamos así:

"La graduación se basa en el logro de calificaciones aprobatorias".

Significa que una cosa depende de otra.

En informática, usamos esta forma de la palabra para describir la ejecución condicional.

Por ejemplo, en la programación CUDA, hay instrucciones de ensamblaje cuya ejecución podemos predicar (KATE) en un resultado anterior. Es decir, establece un indicador de predicado (CAT) que, si es verdadero, hace que se ejecute la instrucción, y si es falso, hace que la instrucción se trate como un NOP. Por lo tanto, la ejecución de la instrucción se basa en el indicador de predicado indicado.

Los usos son muy similares.

Espero que ayude.

Answer 7

Un predicado es una declaración sobre algo que es verdadero o falso.