基于数学知识管理方法的线性代数教科书系统研究与实施
| 摘要 | 第3-4页 |
| abstract | 第4页 |
| 1 绪论 | 第7-12页 |
| 1.1 数学知识管理研究概述 | 第7-8页 |
| 1.2 研究问题 | 第8页 |
| 1.3 国内外研究现状 | 第8-10页 |
| 1.4 研究目标及意义 | 第10-12页 |
| 2 线性代数知识管理方法 | 第12-15页 |
| 2.1 知识的获取 | 第12页 |
| 2.2 知识的规范化 | 第12-13页 |
| 2.3 知识数据的封装 | 第13页 |
| 2.4 知识数据的处理与维护 | 第13-15页 |
| 3 线性代数知识库的构建 | 第15-27页 |
| 3.1 线性代数知识库的设计 | 第15-21页 |
| 3.1.1 获取线性代数知识数据 | 第15-17页 |
| 3.1.2 构建线性代数知识对象 | 第17-19页 |
| 3.1.3 知识对象的关系 | 第19-21页 |
| 3.2 线性代数知识库的实现 | 第21-27页 |
| 3.2.1 构建关系表 | 第21-23页 |
| 3.2.2 知识数据的管理 | 第23-24页 |
| 3.2.3 知识库的检索与浏览 | 第24-27页 |
| 4 线性代数知识的表示与处理 | 第27-41页 |
| 4.1 线性代数知识的表示 | 第28-35页 |
| 4.1.1 形式化语言的设计 | 第28-32页 |
| 4.1.2 形式化数学表达式的交互与计算 | 第32-33页 |
| 4.1.3 数学公式的表示与呈现 | 第33-35页 |
| 4.2 线性代数知识的自动处理 | 第35-41页 |
| 4.2.1 知识形式化表述的转化翻译 | 第36页 |
| 4.2.2 知识关系的自动发现 | 第36-39页 |
| 4.2.3 教科书结构的合理性检测 | 第39页 |
| 4.2.4 知识内容的合理性检测 | 第39-41页 |
| 5 线性代数教科书系统的实施 | 第41-47页 |
| 5.1 系统结构 | 第41页 |
| 5.2 人机交互界面 | 第41-44页 |
| 5.3 线性代数教科书的自动呈现 | 第44-45页 |
| 5.4 知识关系的可视化 | 第45-47页 |
| 6 总结 | 第47-48页 |
| 参考文献 | 第48-52页 |
| 致谢 | 第52-53页 |
| 攻读学位期间发表的学术论文目录 | 第53页 |
