本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
Steiner问题-分角线相等的三角形:初等几何机器证明问题 版权信息
- ISBN:9787560390413
- 条形码:9787560390413 ; 978-7-5603-9041-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
Steiner问题-分角线相等的三角形:初等几何机器证明问题 内容简介
本书通过一个古老问题:内角或外角分角线相等的三角形是否等腰的研究,初步介绍了利用电子计算机证明初等几何命题的一些概况,可作为电子计算机在逻辑证明方面应用的启蒙读物。 本书可供中学师生、大学师生及数学爱好者参考阅读。
Steiner问题-分角线相等的三角形:初等几何机器证明问题 目录
第1章 一个古老问题:两条内分角线相等的三角形是等腰三角形
第2章 传统证法与机器证法
第3章 机器证法举例
第4章 机器证法大意
第5章 机器证法再举例
第6章 回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”,这个猜想成立吗?
附录 大智为师——吴文俊先生访谈录
进一步阅读的参考资料
展开全部
Steiner问题-分角线相等的三角形:初等几何机器证明问题 作者简介
吴文俊 1919年5月出生于上海,1940年毕业于上海交通大学数学系,著名数学家,中国科学院院士。 吴文俊院士的研究工作涉及数学的诸多领域,包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面,他得到了关于示性类、示嵌类等领域内许多独特的见解,还得到了许多著名的公式,指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”,此外他还引入了新的拓扑学不变量。在机器证明方面,他提出了**性的概念、证明方法等内容,解决了平面几何与初等微分几何的机器证明问题,并在电子计算机上得到了实现,并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面,他提出了对中国古代在数论,代数,几何等方面成就的精辟见解。 吴文俊院士在数学上做出了许多重大贡献,至今还有许多重要成果被国际同行广泛引用,影响深远,享誉世界。
书友推荐
本类畅销
-
时间简史-普及版
¥16.3¥38 -
数学的魅力;初等数学概念演绎
¥10.8¥22 -
图说相对论(32开平装)
¥14.7¥46 -
刘薰宇的数学三书:原来数学可以这样学全3册
¥35.4¥118 -
中职对口升学数学复习指导
¥23.1¥30 -
高等数学基础
¥31.5¥45