注音ㄍㄨㄥ ㄌ一ˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
公理化方法
词语解释
公理化方法[ gōng lǐ huà fāng fǎ ]
⒈ 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
分字解释
- 正是这三个原因造成了当时公理化方法传播的停滞。
- 定义了模糊粗糙集合理的补运算,从而利用公理化方法构造出推广了的粗糙集代数。
- 以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头,是古代数学公理化方法的一个辉煌成就。
- 本文提出了一种针对兼容式自动制造系统进行设计的方法,即基于公理化设计理论的面向对象的虚拟造型的方法。
- 提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
- 提出了基于公理化设计理论的供应链设计方法,降低了供应链设计的复杂性,给出并分析了供应链设计步骤。
相关词语
- gōng pàn公判
- zhì gōng wú sī至公无私
- wáng sūn gōng zǐ王孙公子
- gōng dīng公丁
- gōng shì公式
- tiě gōng jī铁公鸡
- hé gōng河公
- gù gōng故公
- gōng wén公文
- zōng gōng宗公
- wáng gōng guì qī王公贵戚
- gōng liú公刘
- gé wù qióng lǐ格物穷理
- wén lǐ文理
- lǐ sòng理讼
- lì lǐ历理
- shì lǐ适理
- xìng lǐ性理
- zì rán dì lǐ xué自然地理学
- mào lǐ贸理
- biàn lǐ辨理
- lǐ shì理事
- chéng lǐ成理
- shuǐ lǐ水理
- jiǎn huà hàn zì简化汉字
- lǜ huà wù緑化物
- huà tú化涂
- wén huà yí chǎn文化遗产
- hēi táo wén huà黑陶文化
- téng huà shù腾化术
- dùn huà钝化
- huà xīn化心
- huà dòng化冻
- pián huà骈化
- kè huà克化
- mù huà shí木化石
- yú fāng shuǐ fāng盂方水方
- jì fāng冀方
- jiè fāng借方
- hóng fāng弘方
- shàng fāng尚方
- fāng qíng方情
- shuō zhēn fāng mài jiǎ yào说真方卖假药
- fāng fén方坟
- fāng fǔ方府
- fāng jià方驾
- guī yuán jǔ fāng规圆矩方
- fāng zhēn方针
- pǔ fǎ普法
- zhèng yīn fǎ正音法
- huáng fǎ皇法
- màn fǎ慢法
- fǎ xǐ shí法喜食
- àn fǎ案法
- yì fǎ役法
- wéi xīn biàn zhèng fǎ唯心辩证法
- gǔ wù fǎ谷物法
- cháng fǎ长法
- fǎ jiè yǔ法诫语
- fǎ zhì法志