中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
Steiner問題-分角線相等的三角形:初等幾何機器證明問題 版權信息
- ISBN：9787560390413
- 條形碼：9787560390413 ; 978-7-5603-9041-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
Steiner問題-分角線相等的三角形:初等幾何機器證明問題 內容簡介
本書通過一個古老問題：內角或外角分角線相等的三角形是否等腰的研究，初步介紹了利用電子計算機證明初等幾何命題的一些概況，可作為電子計算機在邏輯證明方面應用的啟蒙讀物。 本書可供中學師生、大學師生及數學愛好者參考閱讀。
Steiner問題-分角線相等的三角形:初等幾何機器證明問題 目錄
第1章 一個古老問題：兩條內分角線相等的三角形是等腰三角形
第2章 傳統證法與機器證法
第3章 機器證法舉例
第4章 機器證法大意
第5章 機器證法再舉例
第6章 回到前面的古老問題
第7章 “兩條外分角線相等的三角形是等腰三角形”，這個猜想成立嗎?
附錄 大智為師——吳文俊先生訪談錄
進一步閱讀的參考資料
展開全部
Steiner問題-分角線相等的三角形:初等幾何機器證明問題 作者簡介
吳文俊 1919年5月出生于上海，1940年畢業于上海交通大學數學系，著名數學家，中國科學院院士。 吳文俊院士的研究工作涉及數學的諸多領域，包括代數拓撲學與微分拓撲學、代數幾何學、微分幾何學、對策論及中國數學史、數學機械化理論、應用數學等領域。在拓撲學方面，他得到了關于示性類、示嵌類等領域內許多獨特的見解，還得到了許多著名的公式，指出了這些理論和方法的廣泛應用。這些重要成果被稱為“吳文俊示性類”“吳文俊公式”，此外他還引入了新的拓撲學不變量。在機器證明方面，他提出了**性的概念、證明方法等內容，解決了平面幾何與初等微分幾何的機器證明問題，并在電子計算機上得到了實現，并且他還得到了用機器實現和創造定理的重大成果。在中國數學史方面，他提出了對中國古代在數論，代數，幾何等方面成就的精辟見解。 吳文俊院士在數學上做出了許多重大貢獻，至今還有許多重要成果被國際同行廣泛引用，影響深遠，享譽世界。
書友推薦
- >
李白與唐代文化
- >
推拿
- >
月亮與六便士
- >
羅庸西南聯大授課錄
- >
詩經-先民的歌唱
- >
羅曼·羅蘭讀書隨筆-精裝
- >
經典常談
- >
我與地壇
本類暢銷
