共查询到20条相似文献，搜索用时 15 毫秒
1.
年月日 我国著名计算机科学家数学家数学教育家张景中院士 在江西临川二中亲自主持了江西省教育科学"九五"重点课题《初中平面几何GX教法与计算机证明研究》的验收鉴定会 这是一个利用张景中院士所编制的实现平面几何定理自动证明生成的可读性软件的实验．这项实验将我国数学家在数学定理机器证明这一领域所取得的最新成果应用于中学数学教学改革中去 也是为实现我国著名数学家吴文俊院士所提出的"中学数学现代化就是机械化"设想所进行的实验 这是我国在世界上首先实现中学数学现代化 《数学教育学报》2001,10(1):15
2000年10月14日，我国著名计算机科学家、数学家、数学教育家张景中院士，在江西临川二中亲自主持了江西省教育科学"九五"重点课题《初中平面几何GX教法与计算机证明研究》的验收鉴定会，这是一个利用张景中院士所编制的实现平面几何定理自动证明生成的可读性软件的实验．这项实验将我国数学家在数学定理机器证明这一领域所取得的最新成果应用于中学数学教学改革中去，也是为实现我国著名数学家吴文俊院士所提出的"中学数学现代化就是机械化"设想所进行的实验，这是我国在世界上首先实现中学数学现代化（机械化）进行的探索．鉴定委员会的评委们对该项实验给予了很高的评价，一致认为是"国内首创，国际领先"，对我国基础教育作出了贡献．（江西师范大学 孙熙春供稿） 相似文献
2.
曾经被著名数学家华罗庚、国际数学大师陈省身亲切地称为“师弟”,少年时就立志要把“名字”书写成书本上的定理,他,就是数学家——杨乐.
1939年杨乐出生于江苏省南通市,现为我国著名数学家、中国科学院院士. 相似文献
3.
张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械化的思想．实现了几何定理可读性证明的可视化。下面将介绍如何利用超级画板来真正地推导证明“五点共圆”．而更重要的是该证明的过程完全由计算机来完成。 相似文献
4.
什么叫“吴方法”?“吴方法”就是将传统的数学定理证明和方程求解,同现代计算机技术相结合所产生的机器证明理论。由于这一理论是我国著名数学家吴文俊教授首先创立的,因而它在国际上就被称誉为“吴方法”。 相似文献
5.
“两内角的平分线相等的三角形是等腰三角形”，这就是由雷米欧司提出而由斯坦纳首先证明的闻名全球的“斯坦纳—雷米欧司”定理，1840年，德国数学家雷米欧司在给当时的瑞士大数学家斯坦纳的一封信中说到：“几何题在没有证明之前，很难说它是难还是容易。等腰三角形的两底角平分线相等，初中生都会证。但反过来，三角形的两内角平分线相等，这个三角形一定是等腰三角形吗？我至今还没想出来。” 相似文献
6.
汪文哲 《聪明泉(少儿版)》2003,(11)
我国著名数学家吴文俊, 对祖国和人民的数学贡献主要有两个:一个是拓扑学方面的奠基性工作,另一个是几何定理的机器证明。他常挂在嘴边的一句话就是:“创新就是FOLLOW ME(跟我学),而不是跟在别人后边。” “读、学、懂”学习法 吴文俊从小就有一种开拓精神,如读书,他不仅自学了一系列的数学知识,更重要的是他为自己创新了一套科学而有效的学习方法。这就是“读、学、懂”学习法。“读”就是按书上叙述的先后,了解概念的引进,给出的定理证明等等。“学”就是合上书,自己把概念和定理默诵出来,证明由自己推导出来,同时要做… 相似文献
7.
樱子 《小雪花(小学生成长指南)》2006,(6)
陈景润是我国著名数学家,曾担任中国科学院院士。是他把2000多年来人们未曾解决的歌德巴赫猜想的证明大大地推进了一步,在国际上被誉为“陈氏定理”。陈景润在数学研究中之所以能取得令人瞩目的成就,这同他在读书、研究中的目标专一、锲而不舍的学习方法是分不开的。陈景润在中 相似文献
8.
9.
“两内角的平分线相等的三角形是等腰三角形”,这就是由雷米欧司提出而由斯坦纳首先证明的闻名全球的“斯坦纳—雷米欧司”定理.1840年,德国数学家雷米欧司在给当时的瑞士大数学家斯坦纳的一封信中说到:“几何题在没有证明之前,很难说它是难还是容易.等腰三角形的两底角平分线相等,初中生都会证.但反过来,三角形的两内角平分线相等,这个三角形一定是等腰三角形吗?我至今还没想出来.”斯坦纳答应研究这个问题,但是,直到1844年,斯坦纳才发表这个定理的证明方法.于是,这个问题便以“斯坦纳—雷米欧司”定理而闻名于世.斯坦纳的证明发表后,引起数学界的极大反响.论证这个定理的文章发表在1844年至1864年几乎每一年的各种杂志上.后来,一家数学刊物公开征解,竟然收集并整理出了60多种证法,编成了一本书.直到1980年,美国《数学教师》月刊还给出了这个定理的研究现状,而且他们又收到2000多封来信,增补了20多种证法,其中包括一个最简单的直接证法.经过几代人一百多年的研究“,斯坦纳—雷米欧司”定理成为数学百花园中最惹人喜爱的名花之一.“斯坦纳—雷米欧司”定理为何魅力无穷?一方面,它是初中教材上的最基本、最常用、最简单的定理之一——“等... 相似文献
10.
11.
一提到三角形内角和定理,同学们一定会脱口而出：“三角形内角和等于180°”．是啊,因为在小学的时候,同学们就通过测量,拼接等方法知道了三角形的内角和等于18ry,现在更是能给出三角形内角和定理的几种证明方法但凡事怕三问,同学们知道古代数学家是如何发现定理,又是如何找出证明方法的吗？下面本文就带领同学们沿着数学家发现定理和寻找定理证明思路的足迹,体验一下发现的快乐！古代数学家在研究三角形（凸M儿）内角和时,首先让z二ABc的顶点A沿一条直线八A。向BC运动（图l）,这时产生一系列的三二角形：AIAIBC、AIAZBC… 相似文献
12.
13.
14.
15.
16.
17.
要成为一个好的数学家,你必须首先是一个好的猜想家. ——波利亚“猜想”是一种重要的思维方法,猜想对于确定证明方向,发现新定理,都有重大意义,最著名的例子,就是哥德巴赫猜想.1742年,曾经担任过中学教师的哥德巴赫和大数学家欧拉通过观察实例: 6=3+3,8=3+5,10=3+7,12=5+7,14=3+11,16=3+13,18=7+11……提出了如下猜想:“任何大于或等于6的偶数,都可以表示成两个奇素数之和.”这就是闻名于世的哥德巴赫猜想.但至今还没有给以逻辑证明,所以仍是一个猜想.二百多年以来,她像一颗璀璨夺目的明珠,吸引了无数数学家和数学爱好者为之奋斗. 相似文献
18.
课题从1997年1月着手准备,1997年9月正式启动,至2000年10月14日总结验收,历时三年多,经过中科院张景中院士等专家亲临现场鉴定,一致认为实验取得了成功,属于"国内首创、国际领先"的成果.现将实验情况总结汇报如下. 相似文献
19.
赵春浓 《四川教育学院学报》2004,20(2):83-84
美国数学家哈尔莫斯认为，定理、证明、概念、定义、理论、公式、方法中任何一个都不是数学的心脏，只有问题是数学的心脏。爱因斯坦又认为：“提出一个问题往往比解决一个问题更为重要。”美国教育家布鲁巴克还认为：“最精湛的教学艺术，遵循的最高准则就是让学生自己提出问题。”这些精辟的论断，深刻地揭示了数学教学的本质——教学生学会问问题。 相似文献