술어,predicate

predicate_clause =,predicate_clause . predicate_clause
predicate clause
Srch:predicate_clause

WtEn:predicate_clause x 2024-02-14
Up: 술어,predicate 절,clause
} // predicate clause Ggl:predicate clause Naver:predicate clause

3. 같은영단어 predicate : 언어학,linguistics의 predicate

서술어
주어,subject와 짝을 맞추는건 지금 이 페이지 술어,predicate보다는 서술어,predicate? fork? 그렇다면 pagename이 겹치는데... 어떻게하는게 최고? TBD.

4. Sub (논리학 쪽)


4.1. predicate calculus

predicate_calculus =,predicate_calculus =,predicate_calculus . predicate_calculus
predicate calculus

Srch:predicate_calculus
WtEn:predicate_calculus ?? qqqqwwwwwwwwwwwwwwww


"predicate calculus"
Ndict:predicate calculus
Ggl:predicate calculus
predicate+calculus

4.1.1. first-order predicate calculus

first-order_predicate_calculus =,first-order_predicate_calculus =,first-order_predicate_calculus . first-order_predicate_calculus
first-order predicate calculus

"first-order predicate calculus"

4.1.2. second-order predicate calculus

second-order predicate calculus
second-order_predicate_calculus =,second-order_predicate_calculus =,second-order_predicate_calculus . second-order_predicate_calculus

"second-order predicate calculus"

4.2. predicate logic

predicate logic
predicate_logic =,predicate_logic =,predicate_logic . predicate_logic

이건 위에 predicate_calculus와 동의어. 단지 뉘앙스 차이?

"predicate logic"

predicate+logic

4.3. predicate symbol

술어기호,predicate_symbol =술어기호,predicate_symbol =,predicate_symbol 술어기호 predicate_symbol - writing
기호,symbol or 심벌,symbol

WtEn:predicate_symbol ? kkkkkkkkkkooooooooo


4.4. predicate variable

5. Sub: (컴퓨터구조 쪽)

5.1. predication

predication
{
(IA64 = Itanium 에서)


The conditional_execution of instructions based on their predicate.
When the predicate is true (1), the instruction is executed.
When is is false (0), the instruction is treated as a NOP.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Predication



5.2. predicate_register

predicate_register =,predicate_register . predicate_register
{
(IA64 = Itanium 에서)

predicate register




6. qualifying predicate

qualifying_predicate =,qualifying_predicate . qualifying_predicate
{
(IA64 = Itanium 에서)

qualifying predicate

A predicate_register indicating whether or not the instruction is executed.
When the value of the register is true (1), the instruction is executed.
When the value of the register is false (0), the instruction is executed as a NOP.
Instructions that are not preceded by a predicate explicitly, assume the first predicate register, p0, which is always true.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Qualifying