自由变量和约束变量-一流百科

自由变量和约束变量

自由变量和约束变量在数学以及涉及形式语言的其他学科（包括数理逻辑和计算机科学）中，自由变量是一种符号（符号），它指定表达式中可能发生替换的位置，并...

词条百科