第三代微积分相关论文
本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分—没有极限的微积分—理论构架的形式化验证,包括对......
本文针对经管类专业高等数学难教难学的现状,提出了在教学内容上引入更先进的“第三代微积分”,在教学方法和手段上采用分层教学和......
人工智能研究是当前科技发展的热点和前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现......
第三代微积分是以初等数学为基础，通过对导数与积分的定义研究，所发展起来的一代微积分．与前两代微积分相比第三代微积分所提供的理论......
