Bound of variable的意思|示意

美 / / 英 / /

变量的界

Bound of variable的网络常见释义

变元的约束 ...元的约束(Bound of variable)) 11.4.1 变元的约束 11.4.2 约束变元的换名与自由变元的代入 11.4.1变元的约束(Bound of variable)) 定义11.4.1:在谓词公式中,形如x(P(x))和x(P(x)) 的部分,称为谓词公式的x约束部分.

Bound of variable相关短语

1、 bound occurrence of a variable 变量的约束出现