|
 
- UID
- 424
- 帖子
- 151
- 精华
- 2
- 积分
- 163
|
人性化的自动推理绝不等同于习题库
人性化的自动推理绝不等同于习题库
彭翕成 pxc417@126.com
武汉 华中师范大学国家数字化学习工程技术研究中心 430079
我们在推广超级画板的过程中，很多中学老师和学生家长对自动推理功能表示了极大的兴趣。他们觉得计算机能够解几何题，实在是不可思议，觉得很神奇。由于对自动推理的不了解，同时也产生了一些疑问。本文将尝试回答超级画板推理功能的一点疑问。
输入题目信息，超级画板就给出答案，那和买一本带答案的习题集有什么区别？计算机给出的解法是不是特别笨拙，涉及大量的计算，人看不明白？
下面我们用两个例题来说明。
 人性化的自动推理绝不等同于习题库.zip (160.45 KB)
|
http://blog.sina.com.cn/pxc417
超级画板QQ群：204172059 |
|
