中国古算的程序化思想与吴文俊的数学机械化工作

中国古算的程序化思想与吴文俊的数学机械化工作

中国传统数学的构造性和程序化思想启发和影响了吴文俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力 .

作 者： 甘向阳   作者单位： 岳阳师范学院数学系  刊 名： 湘潭师范学院学报(自然科学版)  英文刊名： 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