与自由变量(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
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.
变量无需声明即可直接使用。您也不必表达参数类型的所有可能排列,只需输入一组名称。
应用推荐