数学机械化是我国数学家开创的基础研究领域。20多年来,吴文俊先生身体力行、满腔热情地倡导数学机械化研究,其内容、方法和意义日益获得科学界的理解和赞同。 折叠编辑本段研究人员 (计算机证明数学问题)是由吴文俊提出,华人美籍数学家王浩也是最初的研究人员之一,它是极为神奇的超级工程数学,有可能引发工程技术的革命和...
用一个固定的算法程式去解决一类问题,是数学机械化的基本思想。数学机械化不 是一个新概念,它作为一种思维模式、一种数学体系、一种成果表达方式,存在于古今, 并一直在发展、创新,迸发出耀眼的光辉。 1.1.1 高等数学的研究对象 1876—1877 年间,恩格斯为莱比锡《前进报》撰稿,谈到数学概念的产生时曾讲: “纯数学...
数学机械化的意义在于: (1)数学机械化与公理化一样,对于数学的发展具有巨大现在意义。 数学机械化使得一些数学分支成为重要的研究方向,甚至成为数学的主流。这是因为,抽象的数学概念和结论,往往难于掌握和运用。当把抽象的概念变成具体可算的过程,将易于接受和适宜应用。运用机械化思想考察数学,将引导数学家重新认识数...
中国科学院数学机械化重点实验室依托：中国科学院数学与系统科学研究院。学术前沿 "数学机械化"是我国数学家吴文俊先生在七十年代末开始倡导的一个研究领域，是脑力劳动机械化在数学科学的学术实践。数学机械化思想继承了中国古代数学的传统，它的着眼点在数学，但又具有明显的交叉性。所谓机械化是指刻板化与规格化。十七...
数学机械化不 是一个新概念,它作为一种思维模式、一种数学体系、一种成果表达方式,存在于古今, 并一直在发展、创新,迸发出耀眼的光辉。 1.1.1 高等数学的研究对象 1876—1877 年间,恩格斯为莱比锡《前进报》撰稿,谈到数学概念的产生时曾讲: “纯数学的对象是现实世界的空间形式和数量关系,所以是非常现实的材料。
重庆一中寄宿学校数学老师白薇 “这说明中考试题没有固定结构和模式，有效避免了老师们在教学中对以往考查的重点知识进行大量机械化的刷题训练，以及在初一、初二时对该知识点进行超高难度的拔高，而对某些不考或考得比较简单的知识点选择略讲，甚至不讲。”白薇说。本次数学试题提醒老师们要有新的认识，中考可以随时...
《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。《数学机械化》分成三个部分:第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多...
数学机械化 吴文俊 / 科学出版社 / 2006-12 / 58.00元 (少于10人评价) 《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学,使数学推理机械化以... 近世计算理论导引: NP难度问题的背景、前景及其求解算法研究 ...
第1章数学机械化数学机械化,是利用数学工具的必由之路,也是应用性数学教学的价值取向。1.1高等数学的机械化方法用一个固定的算法程式去解决一类问题,是数学机械化的基本思想。数学机械化不是一个新概念,它作为一种思维模式、一种数学体系、一种成果表达方式,存在于古今,并一直在发展、创新,迸发出耀眼的光辉。1.1.1...