国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網(wǎng) 請 | 注冊
> >
計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版

包郵 計算機怎樣解幾何題-張景中科普文集-NO.3-珍藏版

作者:張景中
出版社:湖北科學技術(shù)出版社出版時間:2016-01-01
開本: 16開 頁數(shù): 154
本類榜單:科普讀物銷量榜
中 圖 價:¥15.4(6.4折) 定價  ¥24.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>
買過本商品的人還買了

計算機怎樣解幾何題-張景中科普文集-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ā)明二等獎,中國科學院自然科學一等獎,國家自然科學二等獎。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 日韩精品无码一区二区三区 | 国产精品天干天干综合网 | 最新日韩精品中文字幕 | 97国产大学生情侣11在线视频 | 欧美日韩精品一区二区另类 | 久操视频在线观看免费 | 韩国一级特黄清高免费大片 | 欧美日韩精品一区二区三区视频 | 雯雯在工地被灌满精在线视频播放 | 男人狂躁进女人下面免费视频 | 视频一区 在线 | 成年人影院在线观看 | 亚洲一级爽片 | 女性特黄一级毛片 | 亚洲综合网站 | 亚洲人成影院在线高清 | 黄色黑丝网站 | 久久精品免费i 国产 | 久久国产美女免费观看精品 | a级片在线 | 亚洲国产欧美日本视频 | 大屁女人黄大片 | 国产成人无精品久久久 | 国产精品一区二区三区高清在线 | 免费人成毛片动漫在线播放 | 99久热任我爽精品视频 | 色8激情欧美成人久久综合电影 | 国产亚洲精品资源在线26u | 韩国精品一区二区三区在线观看 | 国产理论最新国产精品视频 | 丝袜在线观看 | 97久久精品人人做人人爽 | 国精产品一区二区三区有限公司 | 一区二区三区四区在线不卡高清 | 日本免费人成视频播放 | 国产三级在线观看 | 美女一级毛片免费不卡视频 | 国产无遮挡无码视频在线观看 | 日日摸夜夜添夜夜添特色大片 | 亚洲熟妇av日韩熟妇在线 | 看黄软件免费看在线观看 |