【正版书籍】Steiner问题-分角线相等的三角形:初等几何机器证明问题
【正版书籍 可开发票】
￥ 23.8 5.0折 ￥ 48 全新
库存5件
河北保定
认证卖家担保交易快速发货售后保障
作者吴文俊
出版社哈尔滨工业大学出版社
ISBN9787560390413
出版时间2000-01
装帧其他
开本其他
定价48元
货号L9787560390413
上书时间2024-05-23
商品详情
- 品相描述：全新
- 商品描述
-
商品简介
本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。
作者简介:
吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。
吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。
吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。
目录:
第1章 一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章 传统证法与机器证法
第3章 机器证法举例
第4章 机器证法大意
第5章 机器证法再举例
第6章 回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗?
附录 大智为师――吴文俊先生访谈录
进一步阅读的参考资料
目录
第1章 一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章 传统证法与机器证法
第3章 机器证法举例
第4章 机器证法大意
第5章 机器证法再举例
第6章 回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗？
附录 大智为师——吴文俊先生访谈录
进一步阅读的参考资料
内容摘要
本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。
— 没有更多了 —
以下为对购买帮助不大的评价