Mathematical Model of individual pedagogical strategy corresponding to private learning condition

在本项目中，作者制定了e-Learning策略的数学模型，并验证了其实施的可能性。E-Learning模型由学习支持软件、学习材料和学习者个人信息数据库、教学策略知识库组成，采用模块化、层次化结构设计。指令策略用一阶谓词逻辑描述。案例研究是基础信息科学和太空旅行模拟。

In this project, the authors formulated a mathematical model of e-Learning strategy, and verified the possibility of its implementation. The e-Leaning model is composed of learning support software, database of learning materials and learners' private information, and the knowledge-base of instruction strategies, which are designed in modular and hierarchical structure. The instruction strategy is described in first-order predicate logic. The case studies are basic information science and simulation of space travel.