共查询到20条相似文献,搜索用时 15 毫秒
1.
直到最近,数学家才能检验证明的正确性,可一旦求助于计算机解决一些长期遗留的问题,就只有计算机能检验答案。 1976年,依利诺斯大学的两位数学家肯·埃普(Kenneth Appel)和沃·哈肯(Wolfgang Haken)解决了四色问题。四色问题是1852年由伦敦大学的学生佛·欣斯里(Francis Guthrie)提出的,他当时观察到:如果近邻区域着以不同颜色,那么用四种颜色 相似文献
2.
3.
机器证明的回顾与展望 总被引:4,自引:0,他引:4
机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用,是我国攀登计划项目之一。项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。实际上,机器证明研究领域的范围要广泛得多。在国外更一般地叫做自... 相似文献
4.
5.
几何定理机器证明20年 总被引:2,自引:0,他引:2
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今20年,几何定理机器证明的研究和实践有了很大的进展。对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,消点法、搜索法更能生成其可读的证明。几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破。研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用。 相似文献
6.
以"勾股圆方图注"、"出入相补,各从其类"、"刘徽原理"、"依条段求之"为例,论述了中国传统数学的构造性证明,凸显其独特优势和价值,并集中反映了数学家对数学对象构造的智慧. 相似文献
7.
光计算机被人们认为是在未来颇有希望的计算机。但未来的光计算机究竟是什么样子?研究人员对它的设想并不一致。总的说来,可以说光计算机是用光代替电子作媒介进行信息处理和信息传递的计算机,但是在计算机中如何使用光,这里却存在着千差万别的设想。“利用光的系统的优点是它具有高速性和并行性。无论是开关速度,还是传递速度,利用光都比利用电子快很多。另外,利用电子作媒介时必然存在由布线产生的RC(阻容)延迟,而利用光,从原则上说,不存在这种延迟。利用电子作超并行处理时会出现布线拥挤的问题,而利用光则不需要布线,无论并行传递,或是交 相似文献
8.
<正>年少时杨乐经常感叹:我做了很多习题,接触了许多定理,发现数学中的很多定理都是以外国数学家的名字命名的,难道中国人就不能为现代数学发展做出贡献吗?1978年,外国学者以杨-张定理形式将杨乐的名字写进了数学书,杨乐终于实现了自己少年时的梦想,成为数学圈内家喻户晓的人物 相似文献
9.
200年前,在拿破仑时代的法国,诞生了一位天才数学家--伽罗瓦((E).Galois,1811-1832年),虽然他不到21岁就英年早逝,却给数学留下了不朽的业绩:可以用两个概念来概括,一个是群,一个是域.而伽罗瓦的名字也因伽罗瓦理论而永远载人史册. 相似文献
10.
11.
12.
当今,计算机辅助教学在学校教育中发挥着重要作用,笔者根据实践,就计算机的优势及它与数学教育现代化的关系浅谈几点体会. 相似文献
13.
当今,计算机辅助教学在学校教育中发挥着重要作用,笔者根据实践,就计算机的优势及它与数学教育现代化的关系浅谈几点体会。 相似文献
14.
一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完 相似文献
15.
16.
18.
19.
20.