返回列表 回复 发帖

人性化的自动推理绝不等同于习题库

人性化的自动推理绝不等同于习题库
      彭翕成        pxc417@126.com   
武汉 华中师范大学国家数字化学习工程技术研究中心     430079

我们在推广超级画板的过程中,很多中学老师和学生家长对自动推理功能表示了极大的兴趣。他们觉得计算机能够解几何题,实在是不可思议,觉得很神奇。由于对自动推理的不了解,同时也产生了一些疑问。本文将尝试回答超级画板推理功能的一点疑问。
输入题目信息,超级画板就给出答案,那和买一本带答案的习题集有什么区别?计算机给出的解法是不是特别笨拙,涉及大量的计算,人看不明白?
下面我们用两个例题来说明。


人性化的自动推理绝不等同于习题库.zip (160.45 KB)
http://blog.sina.com.cn/pxc417
超级画板QQ群:204172059
好文章!谢谢彭老师分享!使学生对zjz的自动推理有了更高的认识!
对超级画板的“自动推理”有兴趣的老师家长或学生们,这是非常值得一读的。
返回列表