是否听说过计算机可以解几何题，可以证明几何定理并发现新的定理？计算机是人造出来的，是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所谭的实际上是人怎样用计算机解几何题。有兴趣的读者，不妨跟着书，自己动手在计算机上解几个题目玩玩，借此了解一些机器证明、人工智能的知识。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
使用的是古老的Lisp..
评分自动推理比较幼稚 探索一二就玩不下去了
评分使用的是古老的Lisp..
评分这本书采用人工智能语言LISP 对计算机科学一窍不通的我 推荐给计算机和数学天才们 这条路是属于你们的
评分自动推理比较幼稚 探索一二就玩不下去了
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有