[数]?约束出现
...e);在量词辖域中出现的与指导变元相同的变元称为 约束变元 ( Bound Variable ),相应变元的出现称为约束出现(Bound Occurrence);除 约束变元 外的其它个体变元称为自由变元(Free Variable),相应变元的出现称为..
变量的约束出现
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。