公理化方法

词语解释

公理化方法[ gōng lǐ huà fāng fǎ ]

⒈  从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

分字解释

gong公li理hua,hua化fang方fa法

造句

• 正是这三个原因造成了当时公理化方法传播的停滞。
• 定义了模糊粗糙集合理的补运算，从而利用公理化方法构造出推广了的粗糙集代数。
• 以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就。
• 本文提出了一种针对兼容式自动制造系统进行设计的方法，即基于公理化设计理论的面向对象的虚拟造型的方法。
• 提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
• 提出了基于公理化设计理论的供应链设计方法，降低了供应链设计的复杂性，给出并分析了供应链设计步骤。