計算機怎樣解幾何題 在線電子書 圖書標籤: 科普 數學 計算機 計算機科學 計算幾何 自然科學 自動推理 科普讀物
發表於2024-11-22
計算機怎樣解幾何題 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
自動推理比較幼稚 探索一二就玩不下去瞭
評分使用的是古老的Lisp..
評分初中看的。看的第一本院士寫的科普書。
評分自動推理比較幼稚 探索一二就玩不下去瞭
評分使用的是古老的Lisp..
是否聽說過計算機可以解幾何題,可以證明幾何定理並發現新的定理?計算機是人造齣來的,是人想齣瞭用計算機解題的辦法並設計齣一套一套的程序。計算機隻不過是人的工具。本書所譚的實際上是人怎樣用計算機解幾何題。有興趣的讀者,不妨跟著書,自己動手在計算機上解幾個題目玩玩,藉此瞭解一些機器證明、人工智能的知識。
評分
評分
評分
評分
計算機怎樣解幾何題 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024