浅谈计算机发展与问题求解

电脑技术的发展给人们提出一个问题,由此我们可以问:能否把人类解题的经验和智慧赋予电脑,使它成为解题专家呢?能否再加上教师丰富的教学经验,使它成为教学专家呢?近年来的研究成果表明,已经可以利用计算机证明任何一道几何题, 也可以用计算机解任何一道一元一次方程的应用题。让计算机能解天下任何问题是不可能的,让计算机能解某一类问题,成为解这一类问题的专家,如今却已经成为现实。这本身对数学教学有很大的意义,因为数学教学不可能教学生解天下所有问题的方法,那种方法是不存在的。数学教学最关心的是那些最有广泛性的、具有典型意义的常规方法,我认为这无论对学生当前的教育意义,还是对他们的未来发展都是重要的。令人振奋的是现在已经可以把解某一类问题的经验和智慧赋予计算机。