掃一掃
關注中圖網(wǎng)
官方微博
計算機怎樣解幾何題-張景中科普文集 版權信息
- ISBN：9787535295323
- 條形碼：9787535295323 ; 978-7-5352-9532-3
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
計算機怎樣解幾何題-張景中科普文集 本書特色
由張景中所著的這本文集《計算機怎樣解幾何題(精)/張景中科普文集》所屬的叢書共18冊，包含了作者從上世紀八十年代以來三十多年間的數(shù)學科普作品。以《不錯畫板》免費版本為操作平臺，設置由淺入深的30多個實驗，讓讀者自己動手用計算機發(fā)現(xiàn)數(shù)學的奧秘，欣賞數(shù)學之美。
計算機怎樣解幾何題-張景中科普文集 內(nèi)容簡介
由張景中所著的這本文集《計算機怎樣解幾何題(精)/張景中科普文集》所屬的叢書共18冊，包含了作者從上世紀八十年代以來三十多年間的數(shù)學科普作品。以《不錯畫板》免費版本為操作平臺，設置由淺入深的30多個實驗，讓讀者自己動手用計算機發(fā)現(xiàn)數(shù)學的奧秘，欣賞數(shù)學之美。
計算機怎樣解幾何題-張景中科普文集 目錄
一、青出于藍――計算機是人的好學生
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)的算法結構
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 領略吳氏代數(shù)方法
5.3 金字塔問題
六、后記――幾何定理機器證明進展回顧
6.1 艱難的歷程
6.2 重要的突破
6.3 與人工證明媲美
6.4 不等式的機器證明
6.5 研究展望和應用前景
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)的算法結構
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 領略吳氏代數(shù)方法
5.3 金字塔問題
六、后記――幾何定理機器證明進展回顧
6.1 艱難的歷程
6.2 重要的突破
6.3 與人工證明媲美
6.4 不等式的機器證明
6.5 研究展望和應用前景
展開全部
計算機怎樣解幾何題-張景中科普文集 作者簡介
張景中（1936- ）河南省汝南縣人。曾用名井中。1954年進入北京大學數(shù)學力學系學習，1979年任中國科學技術大學數(shù)學系講師，1981年升為副教授。1958年起在中國科學院成都分院工作，任數(shù)理科學研究室主任、研究員。計算機科學家、數(shù)學家和數(shù)學教育學家。1995年10月當選中國科學院院士。中共黨員，中國科學院院士，現(xiàn)任廣州大學計算機教育軟件研究所所長，重慶郵電大學計算機科學與技術學院院長、計算機學科和數(shù)學學科博士生導師、中國科普作家協(xié)會理事長。中國科學院成都計算機應用研究所名譽所長，江西城市學院名譽校長、學術委員會主任。1991年開始享受政府特殊津貼。1995年當選為中國科學院院士。曾獲“全國優(yōu)秀教師”等稱號及“全國五一勞動獎章”。2006年3月任江西城市學院名譽校長、學術委員會主任。2011年，被新成立的南方科技大學聘請講授數(shù)學，旨在培養(yǎng)數(shù)學人才。
書友推薦
- >
我與地壇
- >
姑媽的寶刀
- >
月亮與六便士
- >
名家?guī)阕x魯迅:朝花夕拾
- >
羅曼·羅蘭讀書隨筆-精裝
- >
朝聞道
- >
隨園食單
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學概述
本類暢銷
