计算机怎样解几何题

【文件属性】：
文件名称：计算机怎样解几何题
文件大小：2.93MB
文件格式：PDF
更新时间：2017-10-31 04:26:20
计算机 几何题 是否听说过计算机可以解几何题，可以证明几何定理并发现新的定理？计算机是人造出来的，是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所谭的实际上是人怎样用计算机解几何题。有兴趣的读者，不妨跟着书，自己动手在计算机上解几个题目玩玩，借此了解一些机器证明、人工智能的知识。