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

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

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

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

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


釘裝: 圆脊精装

售價:HK$ 172.8

我要買

share:

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



新書推薦:
第六次中国总膳食研究
《 第六次中国总膳食研究 》

售價:HK$ 657.8
明清戏曲剧目简评与戏曲小语
《 明清戏曲剧目简评与戏曲小语 》

售價:HK$ 63.8
基于模型的系统工程--建模与模型驱动技术
《 基于模型的系统工程--建模与模型驱动技术 》

售價:HK$ 217.8
盘活——顶尖技术人才争夺内幕(上、下册)
《 盘活——顶尖技术人才争夺内幕(上、下册) 》

售價:HK$ 151.8
百年澳门——明信片里的城市记忆
《 百年澳门——明信片里的城市记忆 》

售價:HK$ 118.8
请别当众夸奖我!:受困于“好孩子综合征”的日本年轻人 (洞悉“躺平”背后的隐形压力,缓解从校园到社会的过渡之痛。)
《 请别当众夸奖我!:受困于“好孩子综合征”的日本年轻人 (洞悉“躺平”背后的隐形压力,缓解从校园到社会的过渡之痛。) 》

售價:HK$ 49.5
实用主义——某些旧思想方法的新名称(威廉·詹姆士哲学文集 第1卷)
《 实用主义——某些旧思想方法的新名称(威廉·詹姆士哲学文集 第1卷) 》

售價:HK$ 53.9
西太平洋海山巨型底栖动物分类图鉴
《 西太平洋海山巨型底栖动物分类图鉴 》

售價:HK$ 327.8

建議一齊購買:

+

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

HK$ 118.8
《吴文俊全集·数学思想卷》
+

HK$ 402.3
《吴文俊全集·附卷-回忆与纪念》
+

HK$ 253.8
《吴文俊全集·数学机械化I》
+

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

HK$ 402.3
《吴文俊全集·数学机械化V》
內容簡介:
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 來源:香港大書城megBookStore,http://www.megbook.com.hk
《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理,第4,5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。

 

 

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