大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 计算机怎样解几何题 : 谈谈自动推理
名称 计算机怎样解几何题 : 谈谈自动推理
索引号 608395
分类号
(| 08 环境公报)
作者 张景中、
出版社 北京 : 清华大学出版社 广州 : 暨南大学出版社, 2000
ISBN 7-81029-930-1
页数 xiv, 195页 : 图 ; 21cm
价格 CNY15.00
标签 数学、科普、计算机、计算机科学、专业介绍、教育、有趣的书、机械化、
简介
注解 国家重点图书 有书目(第193-195页) 本书结合实例向读者介绍人怎样用计算机解几何题，直观、生动有趣・读者还可以按照本书的指导，自己动手在计算机上解几项题目・
书籍简介

是否听说过计算机可以解几何题，可以证明几何定理并发现新的定理？计算机是人造出来的，是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所谭的实际上是人怎样用计算机解几何题。有兴趣的读者，不妨跟着书，自己动手在计算机上解几个题目玩玩，借此了解一些机器证明、人工智能的知识。