登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書

『簡體書』吴文俊全集·数学机械化卷III

書城自編碼: 3400679
分類:簡體書→大陸圖書→自然科學數學
作者: 吴文俊
國際書號(ISBN): 9787508855523
出版社: 龙门书局
出版日期: 2019-07-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:HK$ 267.3

我要買

share:

** 我創建的書架 **
未登入.


新書推薦:
大唐诡异录
《 大唐诡异录 》

售價:HK$ 55.8
《证券分析》前传:格雷厄姆投资思想与证券分析方法
《 《证券分析》前传:格雷厄姆投资思想与证券分析方法 》

售價:HK$ 134.3
当我点击时,算法在想什么?
《 当我点击时,算法在想什么? 》

售價:HK$ 78.2
服务的细节136:提高成交率的50个销售技巧
《 服务的细节136:提高成交率的50个销售技巧 》

售價:HK$ 65.0
变法与党争:大明帝国的衰亡(1500—1644)
《 变法与党争:大明帝国的衰亡(1500—1644) 》

售價:HK$ 96.3
大学问·中国的现代化:1850年以来的历史轨迹
《 大学问·中国的现代化:1850年以来的历史轨迹 》

售價:HK$ 105.0
再造乡土:1945年后法国农村社会的衰落与重生
《 再造乡土:1945年后法国农村社会的衰落与重生 》

售價:HK$ 93.5
博弈与平衡:奥格斯堡城市宗教改革研究(1518-1537)
《 博弈与平衡:奥格斯堡城市宗教改革研究(1518-1537) 》

售價:HK$ 118.8

 

內容簡介:
本卷收录了吴文俊的《数学机械化》一书. 本书是围绕作者命名的数
学机械化这一中心议题而陆续发表的一系列论文的综述. 本书试图以构
造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此
减轻繁琐的脑力劳动.
全书分成三个部分:*部分考虑数学机械化的发展历史, 特别强调
在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本
原理与特征列方法. 作为这一方法的基础, 本书还论述了构造性代数几何
中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器
人、天体力学、全局优化和计算机辅助设计等领域中的应用.

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.