图书介绍

计算机怎样解几何题 谈谈自动推理2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

计算机怎样解几何题 谈谈自动推理
  • 张景中著 著
  • 出版社： 暨南大学出版社；清华大学出版社
  • ISBN：7810299301
  • 出版时间：2000
  • 标注页数：195页
  • 文件大小：6MB
  • 文件页数：210页
  • 主题词：

PDF下载


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

下载说明

计算机怎样解几何题 谈谈自动推理PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

1 青出于蓝--计算机是人的好学生1

1.1 计算机解题基本功1

1.2 有了公式就好办8

1.3 没有公式找算法21

1.4 几何解题花样多30

2 举一反三--举例验证几何命题33

2.1 归纳和演绎的对立33

2.2 用例子证明代数恒等式35

2.3 一个例子证明的定理43

2.4 用例证法发现新定理48

2.5 数值并行法的一般实现50

3 一网打尽--几何信息搜索系统53

3.1 寻求传统几何的美53

3.2 从例子找出方法56

3.3 试用几何信息搜索系统59

3.4 几何信息搜索系统的算法结构66

3.5 讲究策略精益求精69

3.6 全角方法的应用75

3.7 一个几何信息搜索系统运动情形83

4 顺藤摸瓜--解几何问题的消点法89

4.1 几何知识的准备89

4.2 一个简单的例子96

4.3 解剖麻雀--建立消点算法100

4.4 有向线段和带号面积109

4.5 希尔伯特交点类问题121

4.6 引进勾股差133

4.7 复数和向量146

5 步步为营--自动求解的代数方法155

5.1 中国数学家的突破155

5.2 领略吴氏代数方法157

5.3 金字塔问题168

6 后记--几何定理机器证明进展回顾175

6.1 艰难的历程175

6.2 重要的突破178

6.3 与人工证明媲美181

6.4 不等式的机器证明185

6.5 研究展望和应用前景189

参考文献193

热门推荐