中國(guó)古算的程序化思想與吳文俊的數(shù)學(xué)機(jī)械化工作

中國(guó)傳統(tǒng)數(shù)學(xué)的構(gòu)造性和程序化思想啟發(fā)和影響了吳文俊的幾何定理機(jī)器證明和數(shù)學(xué)機(jī)械化工作,表明在現(xiàn)代數(shù)學(xué)發(fā)展中中國(guó)傳統(tǒng)數(shù)學(xué)仍有巨大的潛力 .

作 者： 甘向陽(yáng)   作者單位： 岳陽(yáng)師范學(xué)院數(shù)學(xué)系  刊 名： 湘潭師范學(xué)院學(xué)報(bào)(自然科學(xué)版)  英文刊名： JOURNAL OF XIANGTAN NORMAL UNIVERSITY  年，卷(期)： 2001 23(3)  分類號(hào)： N09 O119  關(guān)鍵詞： 中國(guó)古算   程序化思想   吳文俊   機(jī)器證明   數(shù)學(xué)機(jī)械化  

【中國(guó)古算的程序化思想與吳文俊的數(shù)學(xué)機(jī)械化工作】相關(guān)文章：

小學(xué)數(shù)學(xué)算理與算法04-28

聽(tīng)教育專家姚文俊專題報(bào)告心得04-28

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

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

大學(xué)數(shù)學(xué)實(shí)驗(yàn)思想總結(jié)09-06

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

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

吳沐蓮 工作計(jì)劃04-25

感悟算理，注重?cái)?shù)學(xué)思維品質(zhì)的提升04-28

九年級(jí)思想品德教學(xué)下學(xué)期工作計(jì)劃（劉俊霞）04-25