컴퓨터 과학의 맥락에서 '조건 자'는 무엇을 의미합니까?

컴퓨터 과학의 맥락에서 '조건 자'는 무엇을 의미합니까? [복제]

---

이 질문에는 이미 답변이 있습니다.

• 술어 란 무엇입니까? 답변 12 개

특히 텍스트 필터링 컨텍스트에서 사용되는 것을 보았습니다. 마치 "predicate"== "filter criteria"입니다.

이것이 정확합니까?

---

수학 논리 분야에서 가장 일반적으로 사용되는 용어입니다.

에서 위키 피 디아

수학에서 술어는 그러한 관계의 특성 함수 또는 표시기 함수에 해당하는 관계 또는 부울 값 함수 입니다.

함수 P : X → {true, false}를 X의 술어라고합니다. P가 X의 술어 인 경우 P는 때때로 X의 속성이라고합니다.

.

"predicate"== "필터 기준"

---

술어 ( 'PRED-i-cat')는 동사가 포함 된 문장의 일부이며 주제에 대해 알려줍니다.

예를 들어, 문장에서

"마이크 먹고있다"라는 주제에는 '마이크'라는 주제와 '먹고있다'라는 술어가 있습니다.

컴퓨터 과학의 맥락에서, 우리는 사실을 밝히는 데 관심이 없지만, 무언가를 할 것인지 결정하기 위해 참 / 거짓 조건을 테스트하는 데 관심이 있습니다.

Person mike;

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

isEating()의 부재 mike(의 인스턴스 Person) 술어이다. 그것은 반환 true또는 false주장에 대한 것을 person( mike이 경우)을 먹고있다. 이 술어는 그 사람에게 음식을 줄지 여부를 결정하는 데 사용됩니다.

술어는 종종 콜백 형태로 발견되지만 일반적으로 어설 션의 진실 평가에 따라 부울을 반환하는 모든 함수에이 용어를 사용할 수 있습니다.

정렬을 위해 멤버 함수를 원할 수 있습니다.

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

우리의 술어로. 경우 x우리를 제공, 우리의 정렬 알고리즘은 두 개의 과일을 교환합니다.

술어 (predi-KATE)라는 용어도 있습니다. 영어로 우리는 이것을 다음과 같이 사용합니다 :

"졸업은 합격 성적을 달성 한 것으로 추정됩니다."

한 가지는 다른 것에 의존한다는 것을 의미합니다.

컴퓨터 과학에서 우리는 조건부 실행을 설명하기 위해이 형태의 단어를 사용합니다.

예를 들어, CUDA 프로그래밍에는 이전 결과를 실행할 수있는 어셈블리 명령어가 있습니다. 즉, 참이면 명령이 실행되고 거짓이면 명령이 NOP로 취급되도록하는 술어 (CAT) 플래그를 설정합니다. 따라서 명령의 실행은 표시된 술어 플래그를 기반으로합니다.

사용법은 매우 비슷합니다.

희망이 도움이됩니다.

---

단어는 논리에서 나옵니다.

술어는 입력에 대한 "is"부울 질문입니다.

"IsNull"은 술어 질문입니다.

또한 Wikipedia는 Predicates in Math 에 대한 링크 입니다.

---

술어는 참 또는 거짓에 관한 진술입니다.

---

제안:

• 확실히 true 또는 false로 설정
• 매개 변수 값에 의존하지 않음
• 예 :
  • "x = 2 = 2x, x = -2 일 때"=> true
  • "2 * 2 = 5"=> 거짓

술부:

• 진리 값은 매개 변수의 값에 따라 다릅니다
• 예 :
  • "x + 2 = 2x"=> 진리 값을 알 수 없으며 x 값에 의존합니다

수량자를 사용하여 술어를 제안으로 변환하십시오.

• ∃x∈Z (x + 2 = 2x) "x + 2 = 2x가되도록 정수 세트에 도끼가 있습니다"

---

일을 단순화하기 위해. 술어는 true 또는 false 값을 리턴하는 함수입니다.

"필터 기준"으로 사용되는 의미 : 숫자 배열을 고려하고 숫자가 0보다 크면 true를 반환하고 술어는 그렇지 않으면 false를 반환합니다.

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는 조건 자 (또는 "필터 기준")를 기반으로 새 배열을 반환하는 함수입니다.

술어 값을 기반으로 배열을 필터링했습니다.

• true : 값 포함
• 거짓 : 포함하지 마십시오

---

Predicate is a function that takes one element as input parameter and return either true or false. Predicates are used in higher order functions, applied to a given function(a.k.a transformer) element-wise to a list of elements and returns a list of results. Transformer is a function applies to each element and will produce one or more new elements.

참고URL : https://stackoverflow.com/questions/3230944/what-does-predicate-mean-in-the-context-of-computer-science