首变量和自由变量定义 – java – 前端

在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算(比如总和或量化)可以在其上发生。

在数学等式中能够影响其他变量的一个变量叫做自变量。如果(x)取任意一个量，(y)都有唯一的一个量与(x)对应，那么相应地(x)就叫做这个函数的自变量。如果(y)是(x)的函数，那么(x)是这个函数的自变量。