Steiner问题——分角线相等的三角形:初等几何机器明问题吴文俊哈尔滨工业大学出版社9787560390413全新正版
¥
34.99
7.3折
¥
48
全新
库存4件
作者吴文俊
出版社哈尔滨工业大学出版社
ISBN9787560390413
出版时间2020-11
装帧精装
开本16开
定价48元
货号1202417211
上书时间2024-11-22
商品详情
- 品相描述:全新
- 商品描述
-
目录
第1章 一个古老问题:两条内分角线相等的三角形是等腰三角形
第2章 传统证法与机器证法
第3章 机器证法举例
第4章 机器证法大意
第5章 机器证法再举例
第6章 回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”,这个猜想成立吗?
附录 大智为师——吴文俊先生访谈录
进一步阅读的参考资料
内容摘要
本书通过一个古老问题:内角或外角分角线相等的三角形是否等腰的研究,初步介绍了利用电子计算机证明初等几何命题的一些概况,可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。
— 没有更多了 —
以下为对购买帮助不大的评价