摘要
把吴方法引入几何CAI体系,收集整理某一范畴的所有几何知识(包括对象、关系、定理、问题等),进行详尽的分解归类细化,抽象出几何知识的最小元素,进而完全形式化,建立形式化的几何知识数据结构库,最终实现几何命题关系能够利用代数方程来描述;构造机械化为特色的算法体系,据此形成一种新的通用几何CAI设计方案。
The Wu method is introduced into geometry CAI system, to collect and collate a single category of all the knowledge of geometry (including objects, relationships, theorems, problems, etc.), to conduct a detailed decomposition of classification refinement abstract geometrical knowledge of the smallest element, and thus completely formalized the establishment of formal knowledge of geometry, data structure libraries, and ultimately the relationship between the geometric propositions can use algebraic equations to describe; structural features of the algorithm is mechanized system, whereby the formation of a new common geometric CAI design.
出处
《电脑编程技巧与维护》
2010年第2期5-6,33,共3页
Computer Programming Skills & Maintenance
关键词
吴方法
数学机械化
几何CAI
Wu-method
Mathematics mechanization
Geometry CAI