| 自动推理及其在数学教育中的应用 |
| |
| 引用本文： | 张景中,彭翕成.自动推理及其在数学教育中的应用[J].数学教育学报,2008,17(4). |
| |
| 作者姓名： | 张景中 彭翕成 |
| |
| 基金项目： | 教育部高校科技创新工程重大项目 |
| |
| 摘 要： | 自动推理是人工智能中最成功的部分.自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案.凡是用到计算机的地方,或多或少都要用到自动推理.自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面.我国在数学机械化的应用上有一些先进成果,但是在自动推理平台方面,还远远落后于世界先进水平,智能软件的开发需要长期努力.
|
| 关 键 词： | 人工智能 自动推理 智能软件 |
Automated Reasoning and Its Applications in Mathematics Education |
| |
| ZHANG Jing-zhong,PENG Xi-cheng.Automated Reasoning and Its Applications in Mathematics Education[J].Journal of Mathematics Education,2008,17(4). |
| |
| Authors: | ZHANG Jing-zhong PENG Xi-cheng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
