与自由变量(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 函数自由变量值
free variable range 自由变幅
equivalence free variable 等价自由变量
free decision variable 自由决策变量
·2,447,543篇论文数据,部分数据来源于NoteExpress
So this is the variable that goes with Gibbs free energy.
所以这就是吉布斯自由能的变量。
Data RACES on local variables would be a new category of hazards, because we currently can always count on local-variable accesses being data-race-free.
局部变量上的数据竞争将是一种新的危险,因为我们目前始终期望局部变量访问没有数据竞争。
Rather than declaring a variable, you're free just to start using it; rather than express all of the possible permutations of the types of arguments, you can just enter a list of names.
变量无需声明即可直接使用。您也不必表达参数类型的所有可能排列,只需输入一组名称。
应用推荐