图书标签: 科普 数学 计算机 计算机科学 计算几何 自然科学 自动推理 科普读物
发表于2024-12-22
计算机怎样解几何题 pdf epub mobi txt 电子书 下载 2024
是否听说过计算机可以解几何题,可以证明几何定理并发现新的定理?计算机是人造出来的,是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所谭的实际上是人怎样用计算机解几何题。有兴趣的读者,不妨跟着书,自己动手在计算机上解几个题目玩玩,借此了解一些机器证明、人工智能的知识。
有点意思的领域
评分初中看的。看的第一本院士写的科普书。
评分使用的是古老的Lisp..
评分有点意思的领域
评分使用的是古老的Lisp..
评分
评分
评分
评分
计算机怎样解几何题 pdf epub mobi txt 电子书 下载 2024