|
關(guān)于我們
 書單推薦 新書推薦 |
吳文俊全集·數(shù)學(xué)機(jī)械化卷IV 
定 價(jià)：128 元 叢書名：吳文俊全集
9 7 8 8 5 7 5 5 5 0 3 8 0 讀者對(duì)象:本書適用于數(shù)學(xué)工作者和計(jì)算機(jī)科學(xué)工作者以及高等院校有關(guān)專業(yè)的師生
本卷收錄了吳文俊的《幾何定理機(jī)器證明的基本原理》一書.書中論
述初等幾何機(jī)器證明的基本原理, 證明了奠基于各種公理系統(tǒng)的各種初 等幾何, 只需相當(dāng)于乘法交換律的某一公理成立, 大都可以機(jī)械化. 因此 在理論上, 這些幾何的定理證明可以借肋于計(jì)算機(jī)來實(shí)施. 可以機(jī)械化的 幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等. 全書共分六章. 前兩章是關(guān)于幾何機(jī)械化的預(yù)備知識(shí), 集中介紹了常 用幾何; 后四章致力于幾何的機(jī)械化問題. 第3 章為幾何定理證明的機(jī)械 化與Hilbert 機(jī)械化定理, 第4, 5 章分別為(常用)無序幾何的機(jī)械化定理和 (常用)有序幾何的機(jī)械化定理, 第6 章闡述各種幾何的機(jī)械化定理. 更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。 
你還可能感興趣
我要評(píng)論
|
