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