掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
上海花園動植物指南
-
>
世界鳥類百科圖鑒:亞洲鳥類/歐洲鳥類/非洲鳥類/澳洲鳥類(全五冊)
-
>
科壇趣話:科學、科學家與科學家精神
-
>
愛因斯坦在路上:科學偶像的旅行日記
-
>
不可思議的科學史
-
>
動物生活史
-
>
影響世界的中國植物(全新修訂版)
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版 版權(quán)信息
- ISBN：9787535272195
- 條形碼：9787535272195 ; 978-7-5352-7219-5
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版 本書特色
計算機如何能證明幾何定理并發(fā)現(xiàn)新的定理呢？是因為人找到了幾何解題的規(guī)律。跟著書還可以自己動手模擬或?qū)崿F(xiàn)機器解題。
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版 內(nèi)容簡介
計算機如何能證明幾何定理并發(fā)現(xiàn)新的定理呢？是因為人找到了幾何解題的規(guī)律。跟著書還可以自己動手模擬或?qū)崿F(xiàn)機器解題。
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版 目錄
一、青出于藍——計算機是人的好學生 1.1 計算機解題基本功 1.2 有了公式就好辦 1.3 沒有公式找算法 1.4 幾何解題花樣多二、舉一反三——舉例驗證幾何命題 2.1 歸納和演繹的對立 2.2 用例子證明代數(shù)恒等式 2.3 一個例子證明的定理 2.4 用例證法發(fā)現(xiàn)新定理 2.5 數(shù)值并行法的一般實現(xiàn)三、一網(wǎng)打盡——幾何信息搜索系統(tǒng) 3.1 尋求傳統(tǒng)幾何的美 3.2 從例子找出方法 3.3 試用幾何信息搜索系統(tǒng) 3.4 幾何信息搜索系統(tǒng)的算法結(jié)構(gòu) 3.5 講究策略精益求精 3.6 全角方法的應用 3.7 一個幾何信息搜索系統(tǒng)運行情形四、順藤摸瓜——解幾何問題的消點法 4.1 幾何知識的準備 4.2 一個簡單的例子 4.3 解剖麻雀——建立消點算法 4.4 有向線段和帶號面積 4.5 希爾伯特交點類問題 4.6 引進勾股差 4.7 復數(shù)和向量五、步步為營——自動求解的代數(shù)方法 5.1 中國數(shù)學家的突破 5.2 領(lǐng)略吳氏代數(shù)方法 5.3 金字塔問題六、后記——幾何定理機器證明進展回顧 6.1 艱難的歷程 6.2 重要的突破 6.3 與人工證明媲美 6.4 不等式的機器證明 6.5 研究展望和應用前景
展開全部
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版 作者簡介
張景中，中國科學院院士，從事幾何算法和定理機器證明等領(lǐng)域研究。成果獲國家發(fā)明二等獎，中國科學院自然科學一等獎，國家自然科學二等獎。
書友推薦
- >
我從未如此眷戀人間
- >
【精裝繪本】畫給孩子的中國神話
- >
羅曼·羅蘭讀書隨筆-精裝
- >
朝聞道
- >
苦雨齋序跋文-周作人自編集
- >
月亮與六便士
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術(shù)叢書(紅燭學術(shù)叢書)
- >
自卑與超越
本類暢銷
