关于“增乘开方及其相关问题的再探讨”一文的点评

中国传统数学历史悠久，成就辉煌，即使在明末《几何原本》前六卷(1607)、《同文算指》(1644)等西方几何知识与笔算方法传人中国以后，中国传统数学仍不断吸取西方数学精华以完善自身体系并不断有所发现．清代乾嘉以降的古算复兴所产生的诸多成果以及研究西方传人的新课题所得成果均可说明，中国传统数学以其自     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

《笔算数学》内容探析

《笔算数学》是清末传教士狄考文编译的算术课本．曾在教会学校及中国学堂使用．该书流传广泛，影响较大，1892∽1910年间．刊印30余次．介绍了《笔算数学》的内容和版本情况，并与《数学启蒙》进行了比较．通过对《笔算数学》的研究，不仅可以了解《笔算数学》在中算转为西算的过渡时期所占的地位，而且有助于客观评价教会学校的数学教育在中国数学教育近代化上所起的作用．     

λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

试论中日“缀术”之异同

通过对和算及清代数学中的无穷级数展开式研究的分析，比较了两者在方法来源及方法特征上的差异与一致性，认为和算缀术是在宋元数学的基础上发展起来的，而清代无穷级数研究是东西方数学结合的产物，两者是相互独立的方法体系，但均以离散方法解决无穷小问题，而和算的积分、微分方法及代数方法都较清代数学发达。     

关于"增乘开方及其相关问题的再探讨"一文的点评

中国传统数学历史悠久,成就辉煌,即使在明末《几何原本》前六卷(16 0 7)、《同文算指》(16 44)等西方几何知识与笔算方法传入中国以后,中国传统数学仍不断吸取西方数学精华以完善自身体系并不断有所发现.清代乾嘉以降的古算复兴所产生的诸多成果以及研究西方传入的新课题所得成果均可说明,中国传统数学以其自身的特质而富有发展的潜力,即使计算数学发达之今日,中国传统数学的若干思想与算法仍然受到数学家的重视.一般认为,中国传统数学的成就集中在算法及其所包含的理论方面.诸如开方术、天元术、四元术、方程术,割圆术、垛积术与招差术、百…     

浅谈小学生数学计算能力的培养

计算能力是小学数学基本能力之一，计算能力的培养还可以促进学生智力的发展，提高学生的思堆品质，形成良好的学习习惯。本文从口算能力、估算能力及笔算能力三个方面提出了相应的培养和训练方法，力争通过教学使学生熟练掌握各种计算方法，提高学生的计算能力。     

浅谈如何培养小学生的计算能力

计算是数学知识中的主要内容之一,数学计算能力是一项基本的数学能力,计算能力的培养能促进学生智力发展,并能提高学生思维品质。但要提高学生的计算能力不是十分简单的事,因此计算教学在小学数学教学中是一项长期而艰巨的任务。计算教学中,可以根据每天的教学内容适时适量地进行一些口算训练和笔算训练。通过长期坚持的训练,就会提高了学生的计算能力。     

基于Mathematica铁路线型计算方程的验证与实现

建立用于0832和093X捣固车测量系统线型线路的计算数学模型,该计算模型可以处理轨道线路可能出现的全部线路情况,获得对应不同线型线路的正矢等5种输出参数值的计算方法,为指导作业控制系统执行作业操作提供了理论保障.为保证这些计算结果的正确性,一方面采用手动计算的方式对计算方程进行演算,获得正矢等参数的计算结果.另一方面采用数学演算工具Mathematica,利用同一组数据对相应的计算方程进行演算,通过测试结果保证计算方法的正确性,为整套系统的正确性和精度提供保障.     

数学符号系统的形成与认识功能

论述了在数学符号化的进程中，数的记号的产生，代数的符号化，笛卡尔、莱布尼兹关于符号化的思想，以及数理逻辑的兴起所具有的重要意义。指出数学符号系统既是数学的内容，同时又是思维的材料、要素以及表达形式。数学符号系统的功能主要表现在作为认识的载体、描述的手段、推理的工具；约简思维、加快思维进程；规范思维、促进思维的机械化；及将思维过程演算化、计算化，使人－机对话成为可能等方面。     

以珠算为模式改革笔算

在小学数学“三算结合”教学试验中,为了探讨珠算、笔算、口算如何有机结合的问题,全国许多学校进行了多种方案的试验。我们在参加杭州市上城区的试验中,以珠算为模式,对笔算进行了一些改革。这些改革对于促进“三算”有机结合、缩短计算教学时间和提高计算能力起了积极作用。得到了许多同志的热烈支持,并一起进行了试验。但是也有一些同志,由于不了解改革笔算的意义,加上在我们的试验中还有一些具体方法不够完善,因而对改革笔算提出了一些疑问。本文拟就改革笔算中的几个问题、谈一些看法,以便引起进一步的探索和研究。     

计算湍流的不可压缩流动 应用数学，总体和精华，第4卷

本书是“应用数学，总体和精华”数学教学改革计划的系列丛书第4卷，总体（计算数学）和精华（包括应用的分析数学）计划的总目标是：计算数学模拟的自动化（ACMM），它包括离散、优化和模拟三个自动化关键步骤，ACMM的目的是为计算机演算（CC）在科学中的大规模应用打开大门。ACMM将在开放的软件计划（FEniCS）中实现，     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

分子生物计算在逻辑演算中的应用

DNA计算是一种基于生化反应机理的新型信息处理模式,与基于图灵机思想的电子计算机原理截然不同。近年来,DNA分子生物计算理论、实验技术的快速发展为DNA计算机的实现技术提供了一种新的理论和手段。文章首次尝试了DNA计算在逻辑演算中的应用,拓宽了DNA计算的应用领域。模型的最大优点是反应物可以在溶液中充分混合接触而进行生化反应,充分体现了DNA计算巨大并行性的优点,另外编码数和操作数都是线性增加的。     

高阶x—进程

在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。     

数学建模实例与编程实现

数学建模成为培养学生分析问题和解决问题一种十分重要的手段。在数学建模的过程中，利用计算机程序设计实现数值计算已经成为数学建模常用的方法，这不仅可能快速地得到计算结果，同时也为问题的求解提供了新的思路。     

《数理精蕴》中对数造表的三种算法比较

《数理精蕴》中对数造表的3种算法是西学东渐的重要内容,引起了清代许多中算家的重视和研究.从算法的复杂性方面,研究了对数造表的3种算法,并就当时笔算的条件下,对3种算法的优劣性进行了评价.     

高阶 χ-进程

在新型并发计算模型——χ－演算的基础上进一步研究高价χ－演算，并从代数性质、递归能力等方面研究该计算模型．该演算的特点是它的对称性     

激活思维 探究新知

本课教学内容选自北师大版三年级数学上册《两位数乘两位数（笔算）》。一、复习铺垫，激活思维口算：     

加强小学高年级计算教学之我见

计算,贯穿于小学教学的全过程。它是小学生的一项必备的数学能力,也是传统小学数学教学最为重视培养的能力之一。实施新课程以来,课标对学生计算能力的培养仍很重视,所不同的是,与以往的教材相比,它不仅要求计算正确、迅速,而且更突出要求计算方法的合理、简便与灵活,并注意把各种计算（口算、笔算、估算、简便计算）有机地联系与整合起来,使学生在使用各种计算方法的实践中逐步提高能力,从更高的要求提升学生计算的素质。