简介
本书主题是如何用计算机的基本功能解题。所选例子大部分来自初等几何。使用的计算机语言是人工智能领域常用的LISP语言。
编辑推荐
您是否听说过计算机可以解几何题，可以证明几何定理并发现新的定理？计算机是人造出来的，是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所讲的实际上是人怎样用计算机解几何题。又兴趣的读者，不妨跟着书，自己动手在计算机上解几个题目玩玩，借此了解一些机器证明、人工智能的知识。
更多出版物信息
- 版权： 清华大学出版社
- 出版： 2000-05-01
- 更新： 2023-03-22
- 书号：7810299301
- 中图：N49
- 学科：理学
