约束变量

音义

广训

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

组词

约 束 变 量

相关

• 中带网蛾
• 其中
• 双王街道
• 周门北路
• 基金汉盛
• 地方戏
• 国权路
• 复方茶丹片
• 大地旧街
• 孙春贵
• 寒潮路径
• 常安佳苑
• 开后门
• 徐冠
• 张东涛
• 朱文凯
• 李素妍
• 梁建明
• 油干火尽
• 洋坪村
• 相控雷达
• 硬尖神香草
• 疯狂的网瘾
• 章太炎
• 稻毛眼水蝇
• 红鳟
• 翟健茹
• 美女
• 绝命岛
• 罗秀英
• 花之武者
• 血和泪
• 重生之文豪
• 钟伟
• 钟晓
• 霍普夫不变量
• 霍超
• 高压电抗器
• 横店三星宾馆
• 东丰县民政局
• 美金验钞机
• 存股证
• 黑醋
• 雪菜拌面
• 春波鱼戏
• 龙骨栅藻
• 创业大亨
• 陈子游
• 利卡西
• 周处杀蛟