注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當前位置: 首頁出版圖書科學技術自然科學數(shù)學幾何定理計算機證明

幾何定理計算機證明

幾何定理計算機證明

定 價:¥29.00

作 者: 孫熙椿
出版社: 科學出版社
叢編項:
標 簽: 幾何與拓撲

ISBN: 9787030155054 出版時間: 2007-06-01 包裝: 平裝
開本: 16開 頁數(shù): 207 字數(shù):  

內(nèi)容簡介

  《幾何定理計算機證明》作者將我國著名的數(shù)學家吳文俊院士獨創(chuàng)的“幾何定理機器證明的新方法”應用到大學和中學的數(shù)學教育中,經(jīng)過多年的教學實驗和數(shù)學現(xiàn)代化探索,總結出了這《幾何定理計算機證明》,《幾何定理計算機證明》的出版對數(shù)學素質(zhì)教育將有很深遠的指導意義?!稁缀味ɡ碛嬎銠C證明》共分6章,主要講述幾何定理機器證明的發(fā)展概況、吳文俊機械化方法、張景中消點算法、楊路降維算法等?!稁缀味ɡ碛嬎銠C證明》適合作為高等院校教材,更適合師范院校和高中數(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 吳法的廣泛應用
 習題三
第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類構造性幾何定理及實例
參考文獻

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.talentonion.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號