未读消息消息

店铺

我的订单收藏商品

拍卖

拍卖交易我的竞拍收藏拍品

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 08:00-21:00

纠纷处理

09:00-12:30

13:30-18:00

图书审核 09:00-18:00

监督与建议

手机孔网

成功加入购物车

去购物车结算 X

彼佳书店

商品分类

专题
孔网分类

伯林(24) 文化生活译丛(28) 世纪文库(28) 蜜蜂文库(29) 同济欧洲文化丛书(42) 明末清初文献丛刊(88) 新视野人文丛书(15) 刘小枫、冯象、林达(51) 董桥蒋彝(28) 齐泽克桑塔格(11) 中华生活经典(19) 海上文库(67) 田园文库(23) 扬之水(19) 企鹅口袋书伟大的思想(59) 新知文库(111) 中国古典文学丛书(111) 中国现象学文库(31) 当代法国思想文化译丛(27) 外国著名思想家译丛(46) 蓬莱阁丛书(33) 新世纪万有文库(240) 西学源流(22) 人文与社会译丛(187) 经典与解释(542) 人文译丛(99) 钦定四库全书荟要(102) 二十世纪西方哲学译丛(33) 译文经典精装(32) 汉译精品、凤凰文库等(50) 六合丛书(15) 现代性研究译丛(16) 大象学术译丛(27) 最伟大的思想家(44) 纯粹数学应用数学专著(24) 数学名著译丛(30) 北京大学数学物理丛书(45) 现代数学译丛(33) 现代数学物理基础丛书(74) 基督教经典译丛(37) 最经典英语文库(74) 近代名家散佚学术著作(158) 牛津通识读本(93)
特色

线装古籍(90) 民国旧书(2) 名人字画(11) 外文古旧书(5192)
图书

历史(2868) 哲学心理学(2729) 文学(2480) 自然科学(1887) 社会文化(1306) 艺术(1258) 国学古籍(1244) 政治(836) 小说(369) 宗教(364) 经济(361) 语言文字(304) 教材教辅考试(236) 法律(217) 生活(129) 工程技术(109) 收藏与鉴赏(101) 综合性图书(58) 军事(56) 医药卫生(23) 教育(21) 管理(15) 计算机与互联网(12) 童书(10) 地理(7) 体育(5)
艺术品藏品

版画宣传画(28) 工艺品(2)
文创与周边

卡片(8) 日历(1) 纸本(1)

店铺首页全部商品最新上架店主推荐珍本图书动态

手机逛本店

微信扫码访问

图文详情

Steiner问题--分角线相等的三角形(初等几何机器证明问题)

举报

吴文俊著 / 哈尔滨工业大学出版社 / 2020-11 / 精装

售价 188.00

品相全新

优惠

发货

承诺48小时内发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2024-08-05

数量: 仅1件在售，欲购从速

立即购买加入购物车收藏

卖家超过10天未登录

八年老店

彼佳书店

店铺等级

拍卖等级

资质认证

90天平均

成功完成

好评率

发货时间

店主

联系

在线交谈离线留言

地址

浙江省宁波市江北区

电话

进店逛逛收藏店铺

[去看看店主的拍品]

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

图书条目信息
图书 > 自然科学
Steiner问题--分角线相等的三角形/现代数学中的著名定理纵横
作者: 吴文俊著

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

出版时间: 2020-11

版次: 1

ISBN: 9787560390413

定价: 48.00

装帧: 精装

开本: 16开

页数: 76页

字数: 58000千字
内容简介：

本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。

作者简介：

吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。
吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。
吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。

目录：

第1章一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章传统证法与机器证法
第3章机器证法举例
第4章机器证法大意
第5章机器证法再举例
第6章回到前面的古老问题
第7章 “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗?
附录大智为师――吴文俊先生访谈录
进一步阅读的参考资料

展开全部
- 图2
- 图3
配送说明

...
相似商品
为你推荐

专题

文化生活译丛(28)

世纪文库(28)

蜜蜂文库(29)

同济欧洲文化丛书(42)

明末清初文献丛刊(88)

新视野人文丛书(15)

刘小枫、冯象、林达(51)

董桥蒋彝(28)

齐泽克桑塔格(11)

中华生活经典(19)

海上文库(67)

田园文库(23)

扬之水(19)

企鹅口袋书伟大的思想(59)

新知文库(111)

中国古典文学丛书(111)

中国现象学文库(31)

当代法国思想文化译丛(27)

外国著名思想家译丛(46)

蓬莱阁丛书(33)

新世纪万有文库(240)

西学源流(22)

人文与社会译丛(187)

经典与解释(542)

人文译丛(99)

钦定四库全书荟要(102)

二十世纪西方哲学译丛(33)

译文经典精装(32)

汉译精品、凤凰文库等(50)

六合丛书(15)

现代性研究译丛(16)

大象学术译丛(27)

最伟大的思想家(44)

纯粹数学应用数学专著(24)

数学名著译丛(30)

北京大学数学物理丛书(45)

现代数学译丛(33)

现代数学物理基础丛书(74)

基督教经典译丛(37)

最经典英语文库(74)

近代名家散佚学术著作(158)

牛津通识读本(93)

孔网分类

孔网特色

图书

艺术品收藏

文创与周边

孔网啦啦啦啦啦纺织女工火锅店第三课

开播时间：09月02日 10:30

即将开播，去预约

直播中，去观看