随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

关于实验数学的几个问题——评郝宁湘、匡继昌两教授关于"实验数学"问题的讨论

"实验数学"与"数学实验"既有区别又有联系,不能混为一谈,它们与"数学建模"又是一对不同的概念,"演绎数学"与"实验数学"是随着实验数学的进一步发展而依数学研究方式不同形成的分类,它们之间不可能有严格的区分,更不可能互为对立.     

计算机代数系统及其对数学教学的作用

探讨了具有强大数值计算和符号计算功能的计算机代数系统在数学、数学实验和数学建模教学中的应用,以及计算机代数系统的引入对数学教学所能起到的促进作用.     

加强数学实验，培养学生科学理论分析与实验研究相结合的数学素质

科学的理论分析、实验研究和科学计算机是科学研究的三个基本研究手段，随着电子计算机在社会生产生活的广泛应用，数学实验能力已成为科学研究和日常工作中不可缺少的基本能力，本讨论了当代数学和数学实验的内容，数学实验在提高数学教育质量中的作用。     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

计算机实验室在数学建模中的应用及建设

结合多年数学建模选拔、培训、竞赛等活动的组织经验和实验室管理经验,研究了计算机在数学建模中的应用,探讨了计算机实验室在数学建模中不可替代的作用,为更好发展数学建模,提出了建设计算机实验室的思路和方法.     

数学归纳法自动推证研究

数学归纳法广泛应用于数学以及其它学科上相关定理证明.　运用有关数学理论在计算机代数系统Maple下,　讨论了算法的实现技术,　分析了复杂度与输出结果的关系,　在此基础上,　设计并实现了数学归纳法可读型自动推证.　结果表明,　该算法简单正确,相应的程序操作简单,　功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.     

加强培养学生在数学建模中运用计算机的能力

数学建模竞赛涉及大量的数字计算,不掌握计算机操作和相应的数学软件的使用难以取得好成绩,而这正是赛前培训中的一个薄弱环节.文章讨论了培养学生在数学建模中运用计算机能力的重要性,阐述了培养这种能力所涉及的几个重要因素,并给出了利用数学软件解决问题的实例.     

利用计算机技术开展数学实验的研究

信息技术在教学中的渗透,使得现代数学教学充满着时代气息,它更新着我们的教学手段,革新我们的教学理念,极大地丰富了数学的教学内容和形式。在倡导素质教育的教学改革中,运用现代信息教育技术构建实施素质教育的新型的数学活动形式——数学实验,正成为数学教育改革和实践的一个新热点。开展在计算机环境下的数学实验的研究,不论在理论上还是在实践上都具有深远意义。本文就如何利用计算机技术软件开展数学实验方面作了一些思考和探索。     

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

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

数学实验:一种优化的数学教学模式

随着计算机技术的快速发展 ,用实验的方法教授和学习数学已成为可能 .在此探讨一种优化的数学教学模式——数学实验 .     

信息科技对数学解题策略的影响

通过对一些常用例子的剖析，论述了以计算机，网络作为工具，可以使一 些原有的数学思维广度,数学解题方法得到拓展与延伸。     

试谈以生活事例教数学

数学问题源于生活，同时又服务于生活。现行数学教材中安排了丰富的涉及”生活数学的内容”，教师就应立足学生实际和生活实际，创造性地使用和挖掘教材中的生活元素，引导学生走近生活，从生活中感悟数学；创设生活情境，激发学生学习兴趣；收集生活中的数学问题，使数学问题生活化；激活学生生活经验，让学生学会数学思考；运用生活经验，解决数学问题；在生活中体验数学，从而逐步提高学生的数学思维能力和实践运用能力。     

试论数学情境的创设

数学创新源于数学问题,数学问题出自数学情境。因此,能否创设好数学情境,是关系着能否有效地培养学生问题意识、创新精神和实践能力的重大问题。     

加入WTO后,对我国数学教育的几点思考

加入WTO对我国的影响是多方面的，教育作为一项全局性、战略性和基础性工程，也不例外。本文借鉴国外的先进经验，结合我国的实际情况，从人才需求，教育方式，教育内容，计算机应用等多个方面，对我国数学教育提出了几点思考。     

谈《离散数学》课程的教学改革

离散数学是计算机科学与技术专业的一门重要基础课程。根据计算机与离散数学之间的关系及离散数学这门课程本身趣味性强的特点，提出了对离散数学课程教学改革的几点建议：增加实验环节；在教学过程中更多地利用计算机；应用恰当的方法，激发学生的学习兴趣。     

NH型液压锤液压回路及其数学描述

建立了桩锤上升、下降和保压等液压锤整个工作周期的数学模型，并进行了计算机仿真，为开发液压打桩锤产品提供了理论基础。     

数学教育现代化研究综述

数学教育现代化是现实数学教育与时代发展形成的强烈反差所导致的必然产物。半个世纪以来，数学教育界对其进行了广泛的研究，研究思路主要有以下3条途径：强调数学内容的现代化；强调数学教育观念和教学方法的现代化以及从与文化传统的关联来探索数学教育的现代化。     

基于算法思维的高职计算机专业数学教学改革探讨

分析了高职计算机专业数学教学现状及存在的问题.在此基础上,对基于算法思维的计算机专业数学课程内容的设置、教学方法的改革进行了探讨,以培养学生解决问题的数学思维能力和算法思维能力,实现数学与计算机专业教学的有机融合,提升教学质量.