与自由变量(free variable)对应的术语是约束变量(bound variable),约束变量在某个状态之前是自由的,在某个状态之后它会被绑定到一个或一组具体的值。
基于565个网页-相关网页
例如: (x)( F(x)(y)( G(y)H(x,y) ) ) 2-4 变元的约束 定义4: 自由变元 ( free variable ): 在谓词公式中,除去约束变元以外所出 现的变元,称作 自由变元 。
基于48个网页-相关网页
lexical free variable [计] 语法自由变量
free-variable 自由变数
dynamic free variable [计] 动态自由变量
function's free variable value 函数自由变量值
equivalence free variable 等价自由变量
free decision variable 自由决策变量
variable free expression [数] 变量自由表达式
error-free true variable [统计] 无误差真实变量
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐