【摘 要】
：
机器证明的思想可以回溯到 17世纪的 Descartes与 Leibnize,2 0世纪初 Hilbert更明确地提出了公理系统的机械化判定问题。但是 ,随后的种种努力都未能使机器证明取得本质的进
论文部分内容阅读
机器证明的思想可以回溯到 17世纪的 Descartes与 Leibnize,2 0世纪初 Hilbert更明确地提出了公理系统的机械化判定问题。但是 ,随后的种种努力都未能使机器证明取得本质的进展。近 2 0年来 ,吴文俊继承并发展了中国古代的数学思想 ,在定理机器证明上开创了以多项式组零点集为基本点的消元方法 ;吴文俊的数学机械化方法已在物理规律的发现、机器人学、计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴起 ,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑
其他文献
针对国内典型城市生活垃圾循环流化床垃圾焚烧炉二恶英的排放特性进行研究,发现二恶英主要来源于尾部烟气冷却过程中二恶英的低温再生成。适当地提高燃烧温度,有助于减少二恶
<正>童童妈妈说:"我家孩子可聪明了,可以从1数到100,也可以从100数回1。"拉拉妈妈说:"我家拉拉的数学应该很好吧!她在家10以内加减题都会做。"目前有关幼儿数学启蒙的知识普
目的:通过观察冠心康含药血清对RAW264.7巨噬细胞Mer受体酪氨酸激酶(Mer tyrosine kinase,Mer TK)表达的影响,探讨冠心康抗动脉粥样硬化的可能作用机制。方法:SD大鼠给予冠心
随着经济全球化发展以及我国经济的不断发展,机场地区逐步由空港运输功能向功能齐全的城市化发展,由于空港的集聚和辐射作用形成了特有的经济,也就是临空经济,并逐渐演变成为
中国的乡村建设历史悠久,涉及广泛,发展曲折,是我国近现代化进程中一个独特的研究领域。历史上诸多学者和专家从未停止过相应的实践和探索,在取得巨大成就的同时,也面临着许
学生参与反映了学生在学习活动中认知、情感和行为的投入状态,是衡量学生学习质量的一个重要指标,也是影响教学效果的重要因素。师生关系是教学中一对最基本、最重要的关系,
干部作风是干好工作、搞好建设的关键，任何攻坚最后比拼的都是干部作风，没有过硬的作风作为保障，政策和制度就难以落实到位，营商环境就难以优化到位。全市转型攻坚暨优化营商环境
<正> 大庆油田萨中油气处理厂从英国引进的燃气轮机发电机组在运行中,突然出现振动超限故障,机组只能在低负荷下运行。厂方多次派人排故,均未解决。由于机组不能正常运行而造
<正>桑树在构造上同麻类植物相似,都有表皮层、皮层、韧皮部、木质部等。桑皮纤维则主要是利用冬、夏两季修剪的桑树废枝,经过后期加工制作而成的天然纺织纤维,属于韧皮纤维
我们总是他人生命的旁观者。这个世界每天都在发生各种各样的故事,对于痛苦我们已经习以为常。我们的态度总是决定于我们与这个受苦者距离的远近。近些我们也许会同情、感叹,