是否聽說過計算機可以解幾何題，可以證明幾何定理並發現新的定理？計算機是人造齣來的，是人想齣瞭用計算機解題的辦法並設計齣一套一套的程序。計算機隻不過是人的工具。本書所譚的實際上是人怎樣用計算機解幾何題。有興趣的讀者，不妨跟著書，自己動手在計算機上解幾個題目玩玩，藉此瞭解一些機器證明、人工智能的知識。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
使用的是古老的Lisp..
评分這本書采用人工智能語言LISP 對計算機科學一竅不通的我 推薦給計算機和數學天纔們 這條路是屬於你們的
评分使用的是古老的Lisp..
评分自動推理比較幼稚 探索一二就玩不下去瞭
评分使用的是古老的Lisp..
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有