【摘 要】
：
定理机器证明（ＴｈｅＭａｃｈｉｎｅＤｅｍｏｎｓｔｒａｔｉｏｎｏｆＴｈｅｏｒｅｍｓ），就是把人们证明定理的一般知识和规则以适当形式存贮到计算机中，让机器通过运转，自动地证明定理，既是早期人工智能研究的重要课题，又属知识工程的范畴。有深奥的哲学
论文部分内容阅读
定理机器证明（ＴｈｅＭａｃｈｉｎｅＤｅｍｏｎｓｔｒａｔｉｏｎｏｆＴｈｅｏｒｅｍｓ），就是把人们证明定理的一般知识和规则以适当形式存贮到计算机中，让机器通过运转，自动地证明定理，既是早期人工智能研究的重要课题，又属知识工程的范畴。有深奥的哲学原理。我国数学家吴文俊在中国古代数学思想的启迪下，所创立的“定理机器证明”方法，在国际上独树一帜，并在定理机器证明领域内树立了影响深远的里程碑，被誉为吴方法。本文简要的介绍了吴方法的梗概。
其他文献
对酶法水解田菁胶制各半乳甘露寡糖的水解液进行了组成、聚合度分析，采用对水解液的还原糖浓度、还原性末端糖基和黏度的测定，并通过薄板层析和高效液相色谱分析对酶解液进行分
目的观察研究中西医结合治疗偏头痛的临床效果。方法选择2017年5月—2018年7月在郑州市第二人民医院中医科就诊的偏头痛患者70例,依照患者就诊次序分为治疗组和研究组各35例,
商业银行同业收缩、信贷扩张$$根据25家上市银行数据统计分析，本轮金融去杠杆对银行而言重心在于负债端同业的收缩，资产端非信贷业务的强监管，以及表外理财纳入大资管的统一监管
武术是学校体育教学活动的有机组成部分,其能够强健学生体魄,让学生的心智趋于成熟,其是我国武术进步的实际需求,亦是我国民族传统文化与当代体育杂糅的创新性的教学尝试。当
利用外资是我国改革开放基本国策的重要组成部分，是对外开放的核心内容。从1993年起，我国已连续12年成为世界上仅次于美国的第二大直接投资吸收国，从2002年开始，超过了美国，成为世
提出了一种新型过约束并联十二分支六维力传感器结构,基于螺旋理论建立了该新型过约束并联六维力传感器理想数学模型。考虑结构弹性变形,对该过约束超静定结构六维力传感器几
猪囊虫病即猪囊尾蚴病,是一种人畜共患寄生虫病[1],在猪与人之间循环感染,有严重危害,是肉品卫生检疫的主要项目之一。所以,要了解该病特点、加强检疫力度、注重预防治疗是防
通过对华能北京热电厂4台锅炉炉墙振动的测试、调研和分析,确定了炉墙振动的主要原因是燃烧器实际一次风量、煤量比值低于设计值,燃烧初期严重缺风.阐述了锅炉缺氧燃烧引起炉
目前国内关于全要素生产率增长率估计的文献中,采用对偶法进行测算的还比较少见。从理论上来说,对偶法与索洛残差法得到的结果相等,但对偶法的优点在于不需要估计资本存量。