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

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

作 者： 甘向陽   作者單位： 岳陽師范學院數學系  刊 名： 湘潭師范學院學報(自然科學版)  英文刊名： 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