關(guān)于我們
書單推薦
新書推薦

吳文俊全集·數(shù)學(xué)機(jī)械化II

吳文俊全集·數(shù)學(xué)機(jī)械化II

定  價(jià):158 元

叢書名:吳文俊全集

        

  • 作者:吳文俊著
  • 出版時(shí)間:2019/5/1
  • ISBN:9787508855516
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:O1-53 
  • 頁(yè)碼:304
  • 紙張:
  • 版次:01
  • 開本:B5
9
7
8
8
5
7
5
5
5
0
1
8
6

讀者對(duì)象:本書適用于數(shù)學(xué)工作者和計(jì)算機(jī)科學(xué)工作者以及高等院校有關(guān)專業(yè)的師生

本卷收錄了吳文俊的Mechanical Theorem Proving in Geometries:
Basic Principles 一書. 書中論述初等幾何機(jī)器證明的基本原理, 證明了奠
基于各種公理系統(tǒng)的各種初等幾何, 只需相當(dāng)于乘法交換律的某一公理
成立, 大都可以機(jī)械化. 因此在理論上, 這些幾何的定理證明可以借肋于
計(jì)算機(jī)來(lái)實(shí)施. 可以機(jī)械化的幾何包括了多種有序或無(wú)序的常用幾何、投
影幾何、非歐幾何與圓幾何等.
全書共分六章. 前兩章是關(guān)于幾何機(jī)械化的預(yù)備知識(shí), 集中介紹了常
用幾何; 后四章致力于幾何的機(jī)械化問(wèn)題. 第3 章為幾何定理證明的機(jī)械
化與Hilbert 機(jī)械化定理, 第4, 5 章分別為(常用)無(wú)序幾何的機(jī)械化定理和
(常用)有序幾何的機(jī)械化定理, 第6 章闡述各種幾何的機(jī)械化定理.

更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容