大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 自动揄、机器学习 » 计算机怎样解几何题-谈谈自动推理
名称 计算机怎样解几何题-谈谈自动推理
索引号 TP181-49/1
分类号 TP181-49
TP181(自动揄、机器学习)
TP18(人工智能理论)
TP1(自动化-基础理论)
TP(自动化技术计算技术技术)
T(工业技术)
作者 张景中、
出版社 广州：暨南大学出版社，2000
ISBN 7-81029-930-1
页数 195页
价格 CNY15.00
标签 机器证明-普及读物、数学、科普、计算机、计算机科学、专业介绍、有趣的书、机械化、科普读物、
简介
注解
书籍简介

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