代入

来自搜狐网的图片

代入是全国科学技术名词审定委员会审定、公布的科技术语。

汉字，中国古人智慧的结晶^[1]。千百年间，它经历了“甲金篆隶草楷行”的发展^[2]。从记录的工具到艺术的载体，它的身上，倾注了无数先人的心血。

名词解释

代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。

代入消元法

代入消元法是将方程组中的一个方程的未知数用含有另一个未知数的代数式表示，并代入到另一个方程中去，这就消去了一个未知数,得到一个解。代入消元法简称代入法。

全国科学技术名词审定委员会（原称“全国自然科学名词审定委员会”）是经国务院批准成立，由科学技术部和中国科学院共同领导、中国科学院代管的全国性机构。

全国名词委的任务是负责制定中国科学技术名词规范化工作的方针、政策、原则和规划；负责组织科学技术各学科的名词审定、公布及协调、推广应用工作；开展海峡两岸及华语地区科学技术名词的交流、协调和统一工作；组织开展中国术语学学科建设和中国国内外术语学学术交流活动。

据2018年10月全国科学技术名词审定委员会官网显示，全国科学技术名词审定委员会的办事机构为全国科学技术名词审定委员会事务中心，各名词审定分委员会95个；聘请了中国各学科著名学者、专家、教授135人担任全国委员；数千位科学家参加过名词审定工作。