計(jì)算機(jī)怎樣解幾何題：談?wù)勛詣?dòng)推理

定　價(jià)：￥15.00

作　者：	張景中著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	院士科普書系
標(biāo)　簽：	平面幾何

購買這本書可以去

ISBN：	9787810299305	出版時(shí)間：	2000-05-01	包裝：	平裝
開本：	20cm	頁數(shù)：	195	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《計(jì)算機(jī)怎樣解幾何題：談?wù)勛詣?dòng)推理》結(jié)合實(shí)例向讀者介紹了消點(diǎn)法、自動(dòng)求解的代數(shù)方法等利用計(jì)算機(jī)的認(rèn)識(shí)圖形符號(hào)、進(jìn)行加減乘除等基本功能解幾何題的方法。

作者簡(jiǎn)介

　　張景中院土，1936年12月出生于河南。1959年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，1979年任教于中國(guó)科學(xué)技術(shù)大學(xué)，1986年任中國(guó)科學(xué)院研究員，1995年10月當(dāng)選為中國(guó)科學(xué)院院士?，F(xiàn)為中國(guó)科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所研究員、名譽(yù)所長(zhǎng)，廣州師范學(xué)院計(jì)算機(jī)教育軟件研究所所長(zhǎng)。從事機(jī)器證明、距離幾何、動(dòng)力系統(tǒng)、教育數(shù)學(xué)等領(lǐng)域的研究，發(fā)表論文100多篇。他提出了系統(tǒng)的面積解題方法，并用之于機(jī)器證明的研究，使幾何定理可讀證明的自動(dòng)生成這個(gè)多年來進(jìn)展甚小的難題得到突破。1982年曾獲國(guó)家發(fā)明獎(jiǎng)二等獎(jiǎng)，1995年獲中國(guó)科學(xué)院自然科學(xué)獎(jiǎng)一等獎(jiǎng)，1997年獲國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)。所著《教育數(shù)學(xué)叢書》獲1995年中國(guó)圖書獎(jiǎng)和全國(guó)數(shù)學(xué)教育圖書一等獎(jiǎng)。1997年后從事智能教育軟件的研究開發(fā)工作。

圖書目錄

    1青出于藍(lán)——計(jì)算機(jī)是人的好學(xué)生
    1．1計(jì)算機(jī)解題基本功
    1．2有了公式就好辦
    1．3沒有公式找算法
    1．4幾何解題花樣多
   2舉一反三——舉例驗(yàn)證幾何命題
    2．1歸納和演繹的對(duì)立
    2．2用例子證明代數(shù)恒等式
    2．3一個(gè)例子證明的定理
    2．4用例證法發(fā)現(xiàn)新定理
    2．5數(shù)值并行法的一般實(shí)現(xiàn)
   3一網(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全角方法的應(yīng)用
    3．7一個(gè)幾何信息搜索系統(tǒng)運(yùn)行情形
   4順藤摸瓜——解幾何問題的消點(diǎn)法
    4．1幾何知識(shí)的準(zhǔn)備
    4．2一個(gè)簡(jiǎn)單的例子
    4．3解剖麻雀——建立消點(diǎn)算法
    4．4有向線段和帶號(hào)面積
    4．5希爾伯特交點(diǎn)類問題
    4．6引進(jìn)勾股差
    4．7復(fù)數(shù)和向量
   5步步為營(yíng)——自動(dòng)求解的代數(shù)方法
    5．1中國(guó)數(shù)學(xué)家的突破
    5．2領(lǐng)略吳氏代數(shù)方法
    5．3金字塔問題
   6后記——幾何定理機(jī)器證明進(jìn)展回顧
    6．1艱難的歷程
    6．2重要的突破
    6．3與人工證明媲美
    6．4不等式的機(jī)器證明
    6．5研究展望和應(yīng)用前景