电脑编程技巧与维护
電腦編程技巧與維護
전뇌편정기교여유호
COMPUTER PROGRAMMING SKILLS & MAINTENANCE
2010年
2期
5-6,33
,共3页
吴方法%数学机械化%几何CAI
吳方法%數學機械化%幾何CAI
오방법%수학궤계화%궤하CAI
把吴方法引入几何CAI体系,收集整理某一范畴的所有几何知识(包括对象、关系、定理、问题等),进行详尽的分解归类细化,抽象出几何知识的最小元素,进而完全形式化,建立形式化的几何知识数据结构库,最终实现几何命题关系能够利用代数方程来描述;构造机械化为特色的算法体系,据此形成一种新的通用几何CAI设计方案.
把吳方法引入幾何CAI體繫,收集整理某一範疇的所有幾何知識(包括對象、關繫、定理、問題等),進行詳儘的分解歸類細化,抽象齣幾何知識的最小元素,進而完全形式化,建立形式化的幾何知識數據結構庫,最終實現幾何命題關繫能夠利用代數方程來描述;構造機械化為特色的算法體繫,據此形成一種新的通用幾何CAI設計方案.
파오방법인입궤하CAI체계,수집정리모일범주적소유궤하지식(포괄대상、관계、정리、문제등),진행상진적분해귀류세화,추상출궤하지식적최소원소,진이완전형식화,건립형식화적궤하지식수거결구고,최종실현궤하명제관계능구이용대수방정래묘술;구조궤계화위특색적산법체계,거차형성일충신적통용궤하CAI설계방안.
