导　　师： 张景中;李传中

学科专业： D0102

授予学位： 硕士

作　　者： ;

机构地区： 广州大学

摘　　要： 本文第一章简要地回顾了机器证明的发展历程,介绍了智能教育软件的研究现状,并对本文的工作做了阐述.第二章详细介绍了系统的实现基础,包括系统实现的环境、代数式系统的实现、谓词与操作符的选择和测试系统.第三章详细介绍了作者的工作思路.第一节介绍了系统实现策略;第二节到第五节对本系统的系统工作流程、系统解题流程和系统的结构作了具体分析,其中在系统的结构分析中详细介绍了系统在程序实现中计算信息库部分的四个类:引理类、信息类、计算类和计算对话框类;第六节举例说明操作符的实现.第四章介绍了计算器的使用并举例说明.第五章对本文工作的成果和意义加以总结,并指出今后的研究方向.

关 键 词： 自动推理 计算器 中学数学教学 教育软件 解析几何

领　　域： [文化科学] [文化科学] [文化科学] [自动化与计算机技术] [自动化与计算机技术]