排序方式: 共有29条查询结果,搜索用时 0 毫秒
21.
中国开方算法系统及其机械化特征 总被引:1,自引:0,他引:1
中国于公元前1世纪成书的《九章算术》少广章中就已经提出了完整的开平方、开立方算法程序,贾宪的立成释锁法,可以推广到任意次方的开方程式,秦九韶的正负开方术成为求解高次方程正根的一般方法.中国开方算法系统不仅表现了中国筹算所能达到的高超算技,而且充分体现了中国数学思想方法的构造性和算法机械化特征. 相似文献
22.
RMI作为一种普遍的思想方法,是现代数学方法的重要内容,在人们认识事物、分析和解决问题中有着广泛的应用价值.从中国古算理论的渊源来说,盈不足术无疑是古代独立的创造,实质也是RMI的表现。 相似文献
23.
以"勾股圆方图注"、"出入相补,各从其类"、"刘徽原理"、"依条段求之"为例,论述了中国传统数学的构造性证明,凸显其独特优势和价值,并集中反映了数学家对数学对象构造的智慧. 相似文献
24.
本文从计算运演的工具,符号系统,结构形式,推理模式和思想方法等方面探讨《周易》与中国古算机构化思想的湘源关系,剖析了《周易》筮法中的机械化程序,并讨论了《周易》对中国古算机械化的文化启示。 相似文献
25.
中国传统数学表现出机械化的算法特征。它的发展有其自身发展的一面,但也深深地打上了中国传统思想和文化的烙印,本文从数学思想和文化史的角谎,就“经世致用”与中国古算机械化的发展,拟作一些分析与论述。 相似文献
26.
27.
<正>新修订的《上海市高新技术成果转化项目认定程序》首次引入"有效期"的概念。经认定的高转项目其"有效期"自项目认定的次月起为5年,并在"认定证书"上标明。以往没有对高转项目设定过"有效期",只是随成果转化相关政策享受的时限而定,缺乏规范性和合理性。 相似文献
28.
紧紧围绕着高师院校课程计划与培养目标,结合新一轮基础教育课程改革的形势,进行《数学教育学》课程改革与教学研究,以新视角和高观点对教学理论进行创新和体系构建.在新教育理论构建的基础上,注重教学的实践和方法研究,通过两个“相结合”的教学,以科研促进教学,提高了教学效果. 相似文献
29.
傅海伦 《科技导报(北京)》2001,19(16):14-15
一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。 相似文献