Cosa significa "predicato" nel contesto dell'informatica?

Question

In particolare l'ho visto utilizzato nel contesto del filtro del testo. Come se "predicato" == "criteri di filtro".

È accurato?

Answer 1

È un termine più comunemente usato nel campo della logica matematica.

Da wikipedia

In matematica, un predicato o è un rapporto o la funzione a valore booleano che equivale alla funzione caratteristica o la funzione indicatore di tale rapporto.

Una funzione P: X → {true, false} viene chiamato un predicato sulla X. Quando P è un predicato su X, a volte diciamo P è una proprietà di X.

.

"predicato" == "criteri di filtro"

Answer 2

La parola deriva dalla logica.

Un predicato è una domanda "booleana" sugli input.

"IsNull" è una domanda di predicato.

Inoltre, collegamento wikipedia su Predicates in Math.

Answer 3

Un predicato è una dichiarazione di qualcosa che è vero o falso.

Answer 4

Un predicato ('PRED-i-cat') è la parte di una frase che contiene il verbo e ti dice qualcosa sull'argomento.

Per esempio, nella frase

"Mike sta mangiando", abbiamo il soggetto, 'Mike', e il predicato, 'sta mangiando'.

Nel contesto dell'informatica, non siamo interessati ad affermare un fatto, ma piuttosto a testare una condizione vero/falso allo scopo di decidere se fare qualcosa.

Person mike; 

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

La isEating() membro di mike (un'istanza di Person) è un predicato. Restituisce true o false per l'asserzione che il person (mike in questo caso) sta mangiando. Il predicato viene utilizzato per decidere se nutrire o meno la persona.

I predicati si trovano spesso sotto forma di callback, ma in generale è possibile utilizzare il termine per qualsiasi funzione che restituisce un valore booleano basato sulla valutazione della verità di un'asserzione.

Per l'ordinamento, potrebbe voler avere la funzione di membro

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

come il nostro predicato. Se x viene dopo di noi, il nostro algoritmo di ordinamento scambierà i due frutti.

C'è anche il termine predicato (predi-KATE). In inglese lo usiamo in questo modo:

"La laurea è basata sul conseguimento di voti di passaggio".

Significa che una cosa dipende da un'altra.

In informatica, utilizziamo questa forma della parola per descrivere l'esecuzione condizionale.

Ad esempio, nella programmazione CUDA, esistono istruzioni di assemblaggio di cui è possibile prevedere l'esecuzione (KATE) su un risultato precedente. Cioè, si imposta un flag di predicato (CAT) che, se è vero, fa sì che l'istruzione venga eseguita, e se falso, l'istruzione viene trattata come un NOP. Pertanto l'esecuzione dell'istruzione è basata sulla bandiera del predicato indicata.

Gli usi sono molto simili.

Spero che questo aiuti.

Answer 5

Enunciato:

• sia sicuramente impostato su vero o falso
• non dipende valori dei parametri
• esempio
  • "x + 2 = 2x, quando x = -2" => true
  • "2 * 2 = 5" => false

Predicate:

• il valore di verità dipende dal valore del parametro
• es.
  • => valore di verità "x + 2 = 2x" è sconosciuta e dipende dal valore di x

Utilizzare quantificatori per trasformare predicato proposizione:

• ∃ x ∈ Z (x + 2 = 2x) "Esiste l'ascia nell'insieme di numeri interi tale che x + 2 = 2x"

Answer 6

Solo per semplificare le cose. Il predicato è una funzione che restituisce un valore vero o falso.

utilizzato come "criterio di filtro" che significa: consente di considerare una matrice di numeri e predicato che restituisce true se numero> 0, falso altro saggio.

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 è una funzione che restituisce un nuovo array basato su un predicato (o un "criterio di filtro".)

ha filtrato l'array basato sul valore di predicato

• vero: includono valore
• falso: non comprendono che

Answer 7

predicato è una funzione che prende un elemento come parametro di input e restituisce true o false. I predicati vengono utilizzati in funzioni di ordine superiore, applicati a una determinata funzione (a.k.a trasformatore) in base a un elenco di elementi e restituiscono un elenco di risultati. Il trasformatore è una funzione che si applica a ciascun elemento e produrrà uno o più elementi nuovi.