吳文俊全集·數學機械化II

吳文俊全集·數學機械化II

《吳文俊全集·數學機械化II》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。

基本介紹

  • 中文名:吳文俊全集·數學機械化II
  • 作者:吳文俊
  • 出版社:科學出版社
  • 出版時間:2019-05
  • 頁數:284 頁
  • 定價:158 元
  • 開本:16 開
  • 裝幀:圓脊精裝
  • ISBN:9787508855516
內容簡介,圖書目錄,

內容簡介

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

圖書目錄

1 Desarguesian geometry and the Desarguesian number system
2 Orthogonal geometry, metric geometry and ordinary geometry
4 The mechanization theorem of (ordinary) unordered geometry
5 Mechanization theorems of (ordinary) ordered geometries
6 Mechanization theorems of various geometries
References
Subject index

相關詞條

熱門詞條

聯絡我們