几何定理机器证明的基本原理 初等几何部分pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

几何定理机器证明的基本原理 初等几何部分PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章　Desargues几何与Desargues数系 1

1.1 常用几何的Hilbert公理系统 1

1.2　无限公理与Desargues公理 5

1.3　Desargues平面中的有理点 11

1.4　Desargues数系与有理数子系 16

1.5　直线上的Desargues数系 21

1.6　Desargues平面的附属Desargues数系 26

1.7　Desargues平面几何的坐标系 38

第2章　垂直几何、度量几何与常用几何 45

2.1　Pascal公理与乘法交换公理——（无序）Pascal几何 45

2.2　垂直公理与（无序）垂直几何 52

2.3　（无序）垂直几何的垂直坐标 61

2.4　（无序）度量几何 71

2.5　次序公理与有序度量几何 80

2.6　常用几何及其关属几何 86

第3章　几何定理证明的机械化与Hilbert机械化定理 90

3.1　欧几里得证明方法小议 90

3.2　几何概念坐标表示的标准化 93

3.3　定理证明的机械化与Hilbert关于Pascal几何中交点定理的机械化定理 97

3.4　Hilbert机械化证法举例 100

3.5　Hilbert机械化定理的证明 110

第4章 （常用）无序几何的机械化定理 117

4.1　概述 117

4.2　多项式的因子分解 119

4.3　多项式组的整序 125

4.4　代数簇的构造性理论——不可约升列与不可约代数簇 133

4.5　代数簇的构造性理论——代数簇的不可约分解 141

4.6　代数簇的构造性理论——维数概念与维数定理 146

4.7　无序几何机械化定理的证明 149

4.8　无序几何机械化证法举例 156

第5章 （常用）有序几何的机械化定理 171

5.1　有序几何定理证明机械化概述 171

5.2　Tarski定理与Seidenberg方法 177

5.3　有序几何定理机械化证法举例 184

第6章　各种几何的机械化定理 190

6.1　概述 190

6.2　投影几何定理证明的机械化 191

6.3　Bolyai-Lobachevsky双曲型非欧几何定理证明的机械化 199

6.4　Riemann椭圆型非欧几何定理证明的机械化 212

6.5　两种圆几何学定理证明的机械化 217

6.6　超越函数公式证明的机械化 219

参考文献 231