• Steiner问题——分角线相等的三角形:初等几何机器明问题吴文俊哈尔滨工业大学出版社9787560390413全新正版
21年品牌 40万+商家 超1.5亿件商品

Steiner问题——分角线相等的三角形:初等几何机器明问题吴文俊哈尔滨工业大学出版社9787560390413全新正版

34.99 7.3折 48 全新

库存4件

河南平顶山
认证卖家担保交易快速发货售后保障

作者吴文俊

出版社哈尔滨工业大学出版社

ISBN9787560390413

出版时间2020-11

装帧精装

开本16开

定价48元

货号1202417211

上书时间2024-11-22

博学淘书斋

已实名 已认证 进店 收藏店铺
  • 店主推荐
  • 最新上架

   商品详情   

品相描述:全新
商品描述
目录
第1章 一个古老问题:两条内分角线相等的三角形是等腰三角形

第2章 传统证法与机器证法

第3章 机器证法举例

第4章 机器证法大意

第5章 机器证法再举例

第6章 回到前面的古老问题

第7章 “两条外分角线相等的三角形是等腰三角形”,这个猜想成立吗?

附录 大智为师——吴文俊先生访谈录

进一步阅读的参考资料

内容摘要
本书通过一个古老问题:内角或外角分角线相等的三角形是否等腰的研究,初步介绍了利用电子计算机证明初等几何命题的一些概况,可作为电子计算机在逻辑证明方面应用的启蒙读物。

本书可供中学师生、大学师生及数学爱好者参考阅读。

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP