幾何定理計算機證明
出版時間：2007-6 出版社：科學出版社 作者：孫熙椿 頁數(shù)：207
內(nèi)容概要
本書作者將我國著名的數(shù)學家吳文俊院士獨創(chuàng)的“幾何定理機器證明的新方法”應(yīng)用到大學和中學的數(shù)學教育中，經(jīng)過多年的教學實驗和數(shù)學現(xiàn)代化探索，總結(jié)出了這本書，本書的出版對數(shù)學素質(zhì)教育將有很深遠的指導意義。本書共分6章，主要講述幾何定理機器證明的發(fā)展概況、吳文俊機械化方法、張景中消點算法、楊路降維算法等。 本書適合作為高等院校教材，更適合師范院校和高中數(shù)學教師學習閱讀。
書籍目錄
序言前言第1章 歐幾里得幾何的完善與發(fā)展 §1 歐幾里得和他的《幾何原本》 §2 現(xiàn)代公理化的歐幾里得幾何 §3 中學平面幾何的公理體系 §4 張景中歐幾里得幾何公理系 習題一第2章 幾何定理機器證明發(fā)展概況 §1 中國古代數(shù)學的機械化方法 §2 定理機器證明發(fā)展簡介 §3 希爾伯特的機械化思想 §4 以吳文俊為首的中國數(shù)學機械化學派所取得的巨大成就 習題二第3章 吳文俊機械化方法 §1 將幾何問題化為代數(shù)形式的基本公式 §2 簡單情形 §3 可約化情形 §4 一個古老的問題 §5 吳法的廣泛應(yīng)用 習題三第4章 張景中消點算法 §1 共邊定理的發(fā)現(xiàn) §2 消點算法初談 §3 消去平行線上的點 §4 消點算法與可讀證明 §5 勾股差定理 §6 消去圓上的點 §7 全角方法 §8 向量法與復數(shù)法 習題四第5章 楊路降維算法 §1 不等式的傳統(tǒng)證法 §2 楊路降維算法 §3 降維算法的特點 §4 三角形不等式的機器證明 §5 指令與語法 §6 用BOTTEMA軟件證明不等式 §7 不等式的可讀證明 習題五第6章 舉例子能證明幾何定理嗎？ §1 概述 §2 推廣到多個變量的情形 §3 數(shù)值并行算法及步驟 §4 L類構(gòu)造性幾何定理及實例參考文獻
圖書封面
評論、評分、閱讀與下載
用戶評論 (總計4條)
- 我讀這本書為的是了解一下當下世界數(shù)學的中國學派是怎么回事。雖然我是一個只有高中數(shù)學水平的人，七十多歲了，對書里的一些內(nèi)容不是囫圇吞棗，就是全然不懂，但是讀了這本書，我還是了解了數(shù)學的機械證明大約是怎么回事——就像一個非物理、非數(shù)學的人知道了一點“相對論”和“宇宙學”、“量子論”的大概所指一樣，我獲得了一種“朝聞道死亦可矣”的欣慰。我覺得，這是一種常識，是每一個現(xiàn)代人（特別是中國人）都應(yīng)該有所知的常識。然而，非常遺憾也非?？杀氖?，當今的中國，我所接觸的文化人，他們多是一些小有名聲或者大有名聲的人，可是他們不但覺得這是一種（與自身名利無關(guān)的）身外事，而且還因為覺得毫無用處而對此冷冷一笑。現(xiàn)代文學、現(xiàn)代藝術(shù)、現(xiàn)代哲學，不都是以“解構(gòu)”為“顯學”嗎？現(xiàn)代經(jīng)濟、現(xiàn)代生活，不也都是以“數(shù)字化”為“統(tǒng)治”嗎？那么我勸你，如果你是一個“文科”的現(xiàn)代人，而且生活之馀還對我們這個世界有所求知欲，那么，你也應(yīng)該了解一下當下世界數(shù)學的第一個中國學派是怎么回事。讀這本書吧。我勸你。
- 一本很不錯的書～～數(shù)學迷一定會喜歡的～～
- 這是一本寫給老師看的書，科技人員看看可以提高素質(zhì)和開闊思路，但不適合學生看
- 發(fā)貨及時，包裝也不錯，值得購買。