文献类型：期刊文献

中文题名：数学概念的一种特殊形式化方法

英文题名：A Special Method of Formalization for Mathematical Concepts

作者：闫林[1];潘红[2]

第一作者：闫林

机构：[1]河南师范大学计算机科学系;[2]新乡市平原大学计算机室

第一机构：河南师范大学计算机科学系,河南省新乡市453002

年份：1998

卷号：8

期号：1

起止页码：1-3

中文期刊名：微机发展

外文期刊名：MICROCOMPUTER DEVELOPMENT

语种：中文

中文关键词：数学定理;数学概念;形式化

外文关键词：Formula;Predicate;Formalization

摘要：数学定理的机器证明首先应将数学概念形式化(或称符号化 ) ,形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理将起关键作用。本文讨论了一种特殊形式化数学概念的方法 ,其主要特点就是仅引入两个谓词和有限个常项符号 ,按照某种规则生成公式后便可对众多数学概念进行描述。由于只有两个谓词和有限个常项符号出现 ,因此对利用计算机推理具有重要意义。
The first important task of mechanical theo- rem proving is to find a formal language for describing mathe- matical concepts.In this paper the auther discusses a special method of formalizing mathematical problems.It is the main characteristics that only two predicates and finite constant symbols are used for the formal system.Using these predi- cates and constant symbols,the definition of formulas which can decribe various mathematical problems is given,such as ordered pair,relation,function,group etc.This will lay a foundation for formal deduction of using computer. [