中国传统数学构造性思维及其现代意义

本文通过论证构造性思维方式与数学机械化的关系，揭示中国传统数学的构造性思想和方法，至少在发明数学的意义上给予现代数学发展以启发。     

中国开方算法系统及其机械化特征

中国于公元前1世纪成书的《九章算术》少广章中就已经提出了完整的开平方、开立方算法程序，贾宪的立成释锁法，可以推广到任意次方的开方程式，秦九韶的正负开方术成为求解高次方程正根的一般方法．中国开方算法系统不仅表现了中国筹算所能达到的高超算技，而且充分体现了中国数学思想方法的构造性和算法机械化特征．     

从RMI原理看盈不足的构造及算法程序

RMI作为一种普遍的思想方法，是现代数学方法的重要内容，在人们认识事物、分析和解决问题中有着广泛的应用价值．从中国古算理论的渊源来说，盈不足术无疑是古代独立的创造，实质也是RMI的表现。     

从中国古算的“开方术”看形数结合思想

以“开方术”中开平方、开立方及其相关问题的研究为例，说明中国古算形数结合的思想及方法论意义。[编按]     

“保质期”:5年认定的高转项目不再“一劳永逸”

<正>新修订的《上海市高新技术成果转化项目认定程序》首次引入"有效期"的概念。经认定的高转项目其"有效期"自项目认定的次月起为5年,并在"认定证书"上标明。以往没有对高转项目设定过"有效期",只是随成果转化相关政策享受的时限而定,缺乏规范性和合理性。     

《周易》与中国古算机械化

本文从计算运演的工具，符号系统，结构形式，推理模式和思想方法等方面探讨《周易》与中国古算机构化思想的湘源关系，剖析了《周易》筮法中的机械化程序，并讨论了《周易》对中国古算机械化的文化启示。     

高师院校《数学教育学》课程改革与教学研究

紧紧围绕着高师院校课程计划与培养目标，结合新一轮基础教育课程改革的形势，进行《数学教育学》课程改革与教学研究，以新视角和高观点对教学理论进行创新和体系构建．在新教育理论构建的基础上，注重教学的实践和方法研究，通过两个“相结合”的教学，以科研促进教学，提高了教学效果．     

定理机器证明思想的产生与发展

 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。     

从儒学“经世致用”看我国古算机械化的特征及价值

中国传统数学表现出机械化的算法特征。它的发展有其自身发展的一面，但也深深地打上了中国传统思想和文化的烙印，本文从数学思想和文化史的角谎，就“经世致用”与中国古算机械化的发展，拟作一些分析与论述。