打开主菜单

求真百科

析取范式

来自 搜狐网 的图片

析取范式是全国科学技术名词审定委员会审定、公布的科技术语。

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

目录

名词解释

在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性:任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。

全国科学技术名词审定委员会

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

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

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

参考文献