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