Steiner问题-分角线相等的三角形:初等几何机器证明问题
1星价
¥29.8
(6.2折)
2星价￥29.8
定价￥48.0
暂无评论
图文详情
- ISBN：9787560390413
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 开本：大32开
- 页数：76
- 出版时间：2020-11-01
- 条形码：9787560390413 ; 978-7-5603-9041-3
内容简介
本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。 本书可供中学师生、大学师生及数学爱好者参考阅读。
目录
第1章 一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章 传统证法与机器证法
第3章 机器证法举例
第4章 机器证法大意
第5章 机器证法再举例
第6章 回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗?
附录 大智为师——吴文俊先生访谈录
进一步阅读的参考资料
展开全部
作者简介
吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。 吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。 吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。
本类五星书
本类畅销
-
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
喜马拉雅山珍稀鸟类图鉴
¥27.2¥68.0 -
昆虫的生存之道
¥12.2¥38.0 -
昆虫采集制作及主要目科简易识别手册
¥15.0¥50.0 -
古文诗词中的地球与环境事件
¥8.7¥28.0 -
声音简史
¥21.3¥52.0 -
不匹配的一对:动物王国的性别文化
¥16.7¥42.8 -
物理学之美-插图珍藏版
¥20.7¥69.0 -
现代物理学的概念和理论
¥18.4¥68.0 -
技术史入门
¥14.4¥48.0 -
几何原本
¥35.6¥93.6 -
改变世界的发现
¥15.4¥48.0 -
图说相对论(32开平装)
¥13.8¥46.0 -
数学的魅力;初等数学概念演绎
¥7.7¥22.0 -
星空探奇
¥14.0¥39.0 -
宇宙与人
¥10.5¥35.0 -
数学专题讲座
¥13.3¥29.0 -
袁隆平口述自传
¥19.9¥51.0 -
为了人人晓得相对论
¥3.9¥13.5 -
一代神话:哥本哈根学派
¥8.1¥15.5
