符号积分研究及其应用省公开课金奖全国赛课一等奖微课获奖课件_第1页
符号积分研究及其应用省公开课金奖全国赛课一等奖微课获奖课件_第2页
符号积分研究及其应用省公开课金奖全国赛课一等奖微课获奖课件_第3页
符号积分研究及其应用省公开课金奖全国赛课一等奖微课获奖课件_第4页
符号积分研究及其应用省公开课金奖全国赛课一等奖微课获奖课件_第5页
已阅读5页，还剩9页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

数学机械化与数学研究王玮明

华东师范大学软件学院温州大学数学学院1/14科学研究一般过程使用基本问题已知方法新问题发现提出新方法更复杂问题解决2/14提出问题处理问题论文写作论文发表3/14数学123概念公理定义性质

定理命题论证：i）公理化论证

应用

ii)算法化论证简单分类:

存在性数学;结构性数学4/14基础概念简单共识:计算机科学技术发展对数学研究观念及研究方法都产生了深刻影响.代表事件:费根鲍姆普适常数(1975)（4.6692…）四色定理证实(1976)5/14计算机数学:以结构性数学为关键，以计算机实现为目标，以实用算法为研究内容，以实用程序或软件为结果研究领域.6/14简单地说,就是“刻板化”或“规格化”.数学问题机械化,要求在运算或证实过程中,每前深入之后,都有一个确定、必须选择下一步,这么沿着一条有规律、刻板道路,一直到达结论(吴文俊).数学机械化基础是:算法设计+程序设计.数学机械化7/14

算法(algorithm)可实现高效能算法

8/14基本方法MAP

=Model+Algorithm+Program(B.A.Cipra,)9/14基本类型计算机辅助推证计算机辅助求解国内代表人物：吴文俊,张景中,杨路,周咸青,王东明,高小山,李志斌,曾振柄,候晓荣,陈发来,陆征一,等10/14基本思想问题

小问题数学问题算法

伪码程序计算机实现注:数学机械化处理是一类问题而非单个问题.11/14几点体会计算机技术是当代数学研究必要辅助;数学试验技术为数学问题发觉及处理提供支持;加强交流与合作为提升本身并进行研究提供可能;大量查阅文件尤其是SCI文件是发觉问题主要路径;勤奋是数学研究取得成功前提.12/14关于“问题提出”(选题)天才科学家—灵感(创造)普通科技工作者沿着自己或他人工作做

人人文库> 全部分类> 应用文书 > 作业报告

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论