公理化方法 gōng lǐ huà fāng fǎ
词语解释:
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
分词解释:
定义:
对于一种事物的本质特征或一个概念的内涵和外延的确切而简要的说明。
公理:
①经过人类长期反复实践的考验,不需要再加证明的命题,如:如果A=B,B=C,则A=C。
②社会上多数人公认的正确道理。
特定:
1.特别规定;特别指定。
2.指具体的某一种或某一个。
方法:
关于解决思想、说话、行动等问题的门路、程序等:工作方法ㄧ学习方法ㄧ思想方法。
构成:
①形成;造成:眼镜由镜片和镜架构成ㄧ违法情节轻微,还没有构成犯罪。
②结构
①:研究所目前的人员构成不尽合理。
以上就是词典栏目关于公理化方法的相关内容,如有错漏请向我们反馈。