首页 | 本学科首页   官方微博 | 高级检索  
     

数学进化中的知识发现方法
引用本文:陈文伟,黄金才,陈晟. 数学进化中的知识发现方法[J]. 智能系统学报, 2011, 0(5): 391-395
作者姓名:陈文伟  黄金才  陈晟
作者单位:海军兵种指挥学院三系;国防科技大学C4ISR技术国防科技重点实验室;东南融通系统工程有限公司测试业务线;
基金项目:国家自然科学基金资助项目(70671031)
摘    要:
从数学历史发展过程中去发现数学的进化规律,从创造数学符号和包容对立的概念中获得了最早的数学知识.将数学符号组合而成的表达式和方程,使问题变换成了形式化表示,当表达式和方程通过推演和求证,判断其正确性时,就形成了公式和定理,它们是数学中的基础理论.推演和求证过程是采用了等价变换.数学进化中更重要的知识发现方法是利用进化变换(对变量、函数、方程、方法等的变换)来拓展数学的新概念和解决不能求解的问题(可拓变换),从而建立了数学的理论体系.创造、包容、形式化变换、等价变换和进化变换都是数学进化中的知识发现方法.

关 键 词:数学进化  知识发现  创造法  包容法  形式化变换  等价变换  进化变换

A knowledge discovery approach in the evolution of mathematics
CHEN Wenwei,,HUANG Jincai,CHEN Sheng. A knowledge discovery approach in the evolution of mathematics[J]. CAAL Transactions on Intelligent Systems, 2011, 0(5): 391-395
Authors:CHEN Wenwei    HUANG Jincai  CHEN Sheng
Affiliation:CHEN Wenwei1,2,HUANG Jincai2,CHEN Sheng3(1.The 3rd Department,Naval Command College,Guangzhou 510431,China,2.C4ISR Technology National Defense Technology Key Laboratory,National University of Defense Technology,Changsha 410073,3.Software Testing Department,Longtop System Engineering Corp.,Beijing 100013,China)
Abstract:
Keywords:mathematic evolution  knowledge discovery  creation method  inclusion method  formalization transformation  equivalent transformation  evolutional transformation  
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号