文络智义词库

2026-07-16 04:33:56

约束变量

yuē shù biàn liàng · ㄩㄝ ㄕㄨˋ ㄅㄧㄢˋ ㄌㄧㄤˋ

字母
yue shu bian liang
首字母
ysbl
注音符号
ㄩㄝ ㄕㄨ ㄅㄧㄢ ㄌㄧㄤ
注音首符
ㄩㄕㄅㄌ

量化一个合式公式中的某个变量所得到的表达式也是合式公式。如果一个合式公式中某个变量是经过量化的,就把这个变量叫做约束变量,否则就叫它为自由变量。在合式公式中,感兴趣的主要是所有变量都是受约束的。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

链接