首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
数学机械化研究回顾与展望   总被引:1,自引:0,他引:1  
回顾了脑力劳动机械化思想形成的过程,介绍了数学机械化研究的主要结果,并展望了数学机械化在未来的发展.  相似文献   

2.
王薇 《数学通报》2006,45(11):29-32
2005年8月14日,澳大利亚墨尔本大学国际课堂研究中心主任David Clarke教授在北京师范大学数学科学学院的数学课堂教学研讨会上,作了题为“发现数学课堂中的文化:从世界各地获得的启示”的主题报告.Clarke教授认为,西方对课堂教育的研究一直受到西方思维方式的困扰,总是倾向于把  相似文献   

3.
学术动态     
在世界著名数学家陈省身教授的倡导与支持下,西安交通大学于近期成立了以游兆永教授为主任,李开泰、张文修教授为副主任的应用数学研究中心.该中心旨在交流应用数学研究成果,探索应用数学研究的新动向,推动多学科、多层次、国内以及国际间应用数学的研究与合作. 授予陈省身先生西安交通大学名誉教授仪式暨“应用数学研究中心”成立大会,于5月11日下午在西安交通大学逸夫科学馆举行.国内许多高等院校、科研单位及知名学者发来了贺电或贺信,近百位来宾及西  相似文献   

4.
前言     
<正>全国计算机数学学术会议是中国数学学会计算机数学专业委员会主办的系列学术会议.第四届全国计算机数学学术会议由广州大学计算机科学与教育软件学院和中国科学院数学机械化重点实验室承办.本届会议于2011年11月25日至28日在广州大学桂花岗校区学术交流中心召开.来自国内科研院所、大专院校的专家学者及在校学生近150人参加了会议.美国克莱姆森大学(Clemson University)高绪洪(Shuhong Gao)教授,中国科学院研究生院胡磊教授和首都师范大学辛国策教授做了特邀报告.会议还安排43位专家学者作专题  相似文献   

5.
数学的机械化   总被引:2,自引:0,他引:2  
数学沿着两个方向发展:数学逻辑化和数学机械化.数学机械化就是数学操作的机械化分解,使之成为简单的、单调的、刻板的、重复的动作组合.数学机械化以中国传统数学为正宗,随着电子计算机的兴盛,数学机械化重新被人怀念.在这一领域的研究中,中国数学家走在前列.  相似文献   

6.
<正> 以中国数学会理事长吴文俊教授为主任的刘徽数学研究中心,是为促进国内外数学家之间的学术交流、推动我国数学事业发展而创立的民间学术机构. 我国数学直至宋元时期在世界上一直居领先地位,产生过大批优秀数学家.除得到国际公认的祖冲之、秦九韶外,刘徽实是其中之佼佼者.为发扬中华民族的优秀传统,振兴我国数学事业,中心决定举办以刘徽命名的数学讨论班.  相似文献   

7.
脑科学的成果与科学发展史都证实左右脑协调训练的重要性,在数学思维训练中应从哪些切入口进行探索和研究是本研究中心迫切需要解决的核心问题.下面把个人思考的粗浅想法提出来供大家探讨.  相似文献   

8.
今年五月十二日,是我国杰出的数学家吴文俊教授的七十岁诞辰。吴教授在数学研究上已走过了漫长的道路,取得了多方面的巨大成就,赢得了崇高的国际声誉,成为国际著名的拓扑学家和数学机械化的开创人之一。 他曾相继担任中国科学院数学研究所和系统科学研究所的副所长。现任系统科学研究所名誉所长,他是中国科学院学部委员,数理学部副主任。1983—1987期间,任中国数学会理事长。他曾获国家自然科学一等奖,并两次被国际数学家大会邀请作报告。  相似文献   

9.
主编寄语     
在举国上下庆祝新中国成立60周年之际,中国科学院系统科学研究所迎来了建所30周年.关肇直、吴文俊和许国志三位院士高瞻远瞩,在30年前就认识到系统科学的重要性,创建了系统科学研究所,并创办了系统科学在我国的第一个期刊<系统科学与数学>.现在三位院士的研究方向,系统与控制理论、数学机械化证明、运筹管理,继往开来,人才辈出,成果卓著,已经长成参天大树.系统科学研究所成立以来,广大科研人员为系统科学的发展,为我国国民经济建设和国防现代化事业作出了巨大贡献.  相似文献   

10.
微积分基础的新视角   总被引:1,自引:0,他引:1  
张景中  冯勇 《中国科学A辑》2009,39(2):247-256
微积分是大学数学教学的难点, 也是数学机械化研究的重点. 如能将其初等化, 不仅能解决微积分学教学的难点, 同时也能为微积分学的机械化研究提供另一条切实可行的途径. 目前国内外学者在微积分初等化方面做了一些工作, 但他们所给出的微分与积分定义中的不等式都来源于极限定义所采用的不等式. 本文提出了一个函数差商是 另一个函数的中值的概念, 这个概念刻画了原函数与导数的本质特征. 在此基础上, 得到了强可导和一致可导的充分必要条件并给出了 积分系统更直观的定义. 由此, 简单完整地建立起了基于初等数学的微积分系统, 为微积分系统机械化作了必要的准备; 另外, 本文的结果也显示了微积分学中许多常用定理的成立不依赖于实数理论的建立.  相似文献   

11.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

12.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

13.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

14.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

15.
《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

16.
《系统科学与数学》2020,(3):F0004-F0004
《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》 1984年第4卷第3期上.  相似文献   

17.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

18.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

19.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

20.
正《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号