数学机械化
作者:
WU WEN-tSUN(吴文俊)著
ISBN:
7030066863
出版日期:
2000-01
版次:
1
中图分类号:
TP.963
学科分类:
附注信息:
数学问题的机械化,就是要求在运算或证明过程中,每前进一步之后,都有一个确定的、必须选择的下一步,这样沿着一条有规律的、刻板的道路,一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学,由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力,并且对当今数学及数学教学产生了巨大的影响。

    返回顶部