《吴文俊全集·数学机械化I》 - 吴文俊 - 龙门书局 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

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

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

頁數/字數： /
書度/開本：大32开釘裝：平装

售價：HK$ 253.8

我要買件

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

新書推薦：

《人类星球：我们如何创造了人类世（企鹅·鹈鹕丛书013）》
售價：HK$ 91.8

《伏候圣裁：中国古代的君主与政治》
售價：HK$ 98.6

《艺术图像学研究（第一辑）》
售價：HK$ 188.2

《摆脱强迫的人生（修订版）》
售價：HK$ 88.5

《知宋·宋代之司法》
售價：HK$ 99.7

《空间与政治》
售價：HK$ 87.4

《少年读三国（全套12册）》
售價：HK$ 490.6

《不完美之美：日本茶陶的审美变》
售價：HK$ 87.4

建議一齊購買：

HK$ 213.3
《吴文俊全集·数学机械化II》

HK$ 267.3
《吴文俊全集·数学机械化卷III》

HK$ 402.3
《吴文俊全集·数学机械化V》

HK$ 118.8
《吴文俊全集·博弈论、代数几何、图的平面嵌入卷》

HK$ 240.3
《吴文俊全集·拓扑学卷I》

HK$ 213.3
《吴文俊全集·拓扑学卷II》

內容簡介：

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

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.