排序方式： 共有29条查询结果，搜索用时 218 毫秒
1.
中西早期微积分思想及其比较 总被引：1，自引：0，他引：1
追溯了微积分的早期思想渊源，对中西数学家所作出的贡献进行了比较。 相似文献
2.
傅海伦 《科技导报(北京)》2001,(6):14-15,30
一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯… 相似文献
3.
算筹,算法与数学机械化 总被引：2，自引：0，他引：2
本文从现代计算机技术的角度来分析中国传统数学机械化的“硬件系统”和“软件系统”。 相似文献
4.
本文论述构造性思维方式与数学化的关系，指出中国古算机械化思想受制于筹算体系思维方式的特点，可以说是构造性思维方式作用下的必然结果，构造性的思维方式与中国古算的关系和作用，使中国古算表现出瘘具构造性和机械化的双重特色，并给现代数学的发展以重要启示。 相似文献
5.
傅海伦 《山东师范大学学报(自然科学版)》2000,15(1):10-15
对秦九韶大衍术中求定数算法给出了化问数为定数的一套比较完整的固定程序，在此基础上讨论对求定数算法的改进并设计出其现代计算机ＦＯＲＴＲＡＮ语言程序。 相似文献
6.
"为数学而数学" --刘徽科学价值观探析 总被引：1，自引：0，他引：1
本文以魏晋时期的思想文化发展为背景，着重论述了刘徽的科学研究动机、科学态度和认识论与方法论，揭示其“为数学而数学”的科学价值观。 相似文献
7.
论贾宪的数学机械化思想 总被引：4，自引：0，他引：4
贾宪把中国古代数学的机械化思想提高到一个新的阶段。贾宪三角打针造程序和立成释锁法，表现出他注重数学方法的内在联系和程序化思想的探求，贾宪的增乘开方法，是中算史上第一次完整的可推广到任意次方的开方程序，是开方技术的重大改进，贾宪是宋元数学的主要推动之一。其机械化思想对宋元数学发展主流产生了深远的影响。 相似文献
8.
儒学与古代数学教育的发展 总被引：1，自引：0，他引：1
中国古代数学教育有其自身发展的一面,但它的产生和发展的每一个阶段,都深深地打上了中国传统思想和化的烙印,其本身也是中国传统思想化发展特点的具体表现形式。本从数学思想史和数学教育史的角度,就儒学与中国古代教学教育的发展,儒学对数学教育思想的影响,拟作一些分析与论述。 相似文献
9.
《九章算术》给出了“方程”的“遍乘直除”程序，开创了此后中国数学这一领域中辉煌成就的先河．刘徽在此基础上创造了“互乘相消法”，使演算程序大大简化，并具有中国传统数学所特有的机械化算法性质． 相似文献
10.
利用矩阵的Jordan标准形给出了方阵幂的秩恒等式,并利用相关结果讨论了由矩阵幂的秩确定矩阵的Jordan标准形中Jordan块的块数的方法. 相似文献