标题:
人性化的自动推理绝不等同于习题库
[打印本页]
作者:
pxc417
时间:
2011-4-15 07:48
标题:
人性化的自动推理绝不等同于习题库
人性化的自动推理绝不等同于习题库
彭翕成
pxc417@126.com
武汉 华中师范大学国家数字化学习工程技术研究中心 430079
我们在推广超级画板的过程中，很多中学老师和学生家长对自动推理功能表示了极大的兴趣。他们觉得计算机能够解几何题，实在是不可思议，觉得很神奇。由于对自动推理的不了解，同时也产生了一些疑问。本文将尝试回答超级画板推理功能的一点疑问。
输入题目信息，超级画板就给出答案，那和买一本带答案的习题集有什么区别？计算机给出的解法是不是特别笨拙，涉及大量的计算，人看不明白？
下面我们用两个例题来说明。
人性化的自动推理绝不等同于习题库.zip
(160.45 KB)
下载次数: 2036
2011-4-15 07:48
附件:
人性化的自动推理绝不等同于习题库.zip
(2011-4-15 07:48, 160.45 KB) / 下载次数 2036
http://inrm3d.cn/attachment.php?aid=11387&k=028e7981f124c2963f15fda7e8407cfc&t=1714800829&sid=P5TR6z
作者:
math_dalin
时间:
2011-4-15 08:07
好文章！谢谢彭老师分享！使学生对zjz的自动推理有了更高的认识！
作者:
inRm
时间:
2011-4-15 09:03
对超级画板的“自动推理”有兴趣的老师家长或学生们，这是非常值得一读的。
欢迎光临 inRm3D: 画板论坛 (http://inrm3d.cn/)
Powered by Discuz! 7.0.0
人性化的自动推理绝不等同于习题库.zip (160.45 KB)
附件: 人性化的自动推理绝不等同于习题库.zip (2011-4-15 07:48, 160.45 KB) / 下载次数 2036