微积分基础的新视角 |
| |
引用本文: | 张景中,冯勇.微积分基础的新视角[J].中国科学A辑,2009,39(2):247-256. |
| |
作者姓名: | 张景中 冯勇 |
| |
作者单位: | 成都电子科技大学计算机推理与可信计算实验室, 成都 610054 广州大学计算机与教育软件学院, 广州 510006 华中师范大学教育信息技术工程研究中心, 武汉\ 430079 |
| |
基金项目: | 国家重点基础研究发展规划基金(批准号:2004CB318003);;中国科学院知识创新基金(批准号:KJCX2-YYV-S02)资助项目 |
| |
摘 要: | 微积分是大学数学教学的难点, 也是数学机械化研究的重点. 如能将其初等化, 不仅能解决微积分学教学的难点, 同时也能为微积分学的机械化研究提供另一条切实可行的途径. 目前国内外学者在微积分初等化方面做了一些工作, 但他们所给出的微分与积分定义中的不等式都来源于极限定义所采用的不等式. 本文提出了一个函数差商是 另一个函数的中值的概念, 这个概念刻画了原函数与导数的本质特征. 在此基础上, 得到了强可导和一致可导的充分必要条件并给出了 积分系统更直观的定义. 由此, 简单完整地建立起了基于初等数学的微积分系统, 为微积分系统机械化作了必要的准备; 另外, 本文的结果也显示了微积分学中许多常用定理的成立不依赖于实数理论的建立.
|
关 键 词: | 微积分初等化 数学机械化 导数 积分 |
收稿时间: | 2008-01-28 |
修稿时间: | 2008-09-11 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 |
|