free variable的意思|示意

美 / fri: ˈvɛəriəbl / 英 / fri ˈvɛriəbəl /

[数] 自由变量

[数] 自由变项

英语中的free variable，简单说就是一种可以被赋值的变量，它可以代表任何值或者类型。在程序语言中，free variable是指变量本身没有任何限制，可以被任意地赋值，而不管是不是某种数据类型的值。比如说，在C语言中，变量z可以被赋任意的值，其实就是一个free variable。

从数学角度来看，free variable是指不依赖于正在讨论的方程组中的变量，可以在这个方程组中被赋任意值，不会影响方程组的解。比如说，在方程组$x + y = 2$中，$x$和$y$都是未知变量，就是free variable，可以取任意值，当取值后，这个方程组可以被解。

更进一步来说，free variable在逻辑学中也有应用，它是在逻辑表达式中未给定值的变量，可以被任何值代替，来获取一系列不同的逻辑表达式。

总之，free variable是指在不同的学科中，可以被任意赋值的变量，它极大的扩充了变量的可能性。

1、 lexical free variable 语法自由变量

2、 free-variable 自由变数

3、 dynamic free variable 动态自由变量

7、 free decision variable 自由决策变量

The discourse representation theory holds that the indefinite noun phrases free variable.

文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题.

互联网