中國古算的程序化思想與吳文俊的數學機械化工作

中國古算的程序化思想與吳文俊的數學機械化工作

中國傳統數學的構造性和程序化思想啟發和影響了吳文俊的幾何定理機器證明和數學機械化工作,表明在現代數學發展中中國傳統數學仍有巨大的潛力 .

作 者： 甘向陽   作者單位： 岳陽師范學院數學系  刊 名： 湘潭師范學院學報(自然科學版)  英文刊名： JOURNAL OF XIANGTAN NORMAL UNIVERSITY  年，卷(期)： 2001 23(3)  分類號： N09 O119  關鍵詞： 中國古算   程序化思想   吳文俊   機器證明   數學機械化  

【中國古算的程序化思想與吳文俊的數學機械化工作】相關文章：

小學數學算理與算法04-28

聽教育專家姚文俊專題報告心得04-28

渡江云三犯·西湖清明_吳文英_原文及賞析03-01

中國古代史《明清之際的思想批判》教案04-25

大學數學實驗思想總結09-06

吳宮怨,吳宮怨張籍,吳宮怨的意思,吳宮怨賞析 -詩詞大全03-13

俊俊的寒假日記四篇04-25

吳沐蓮 工作計劃04-25

感悟算理，注重數學思維品質的提升04-28

九年級思想品德教學下學期工作計劃（劉俊霞）04-25