公理化方法的意思
公理化方法
词语公理化方法
相关汉字公 gong 理 li 化 hua 方 fang 法 fa
拼音gōng lǐ huà fāng fǎ
公理化方法基本意思
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
公理化方法意思精修版
- 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
拆词解释
公:◎公 gōng 〈形〉 (1)(会意。小篆字形,上面是“八”,表示相背,下面是“厶”(“私”的本字)。合起来表示“与私相背”,即“公正无私”的意思。本义:公正,无私) (2)同本义 [just] 公,...
理:◎理 lǐ 〈动〉 (1)(形声。从玉,里声。本义:加工雕琢玉石) (2)同本义 [carve and polish] 理,治玉也。顺玉之文而剖析之。——《说文》 理者,成物之文也。长短大小、方圆坚脆...
化:◎化 huà 〈动〉 (1)(古字为“匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义:变化,改变) (2)同本义 [turn;change] 匕,变也。——《说文》。徐灏曰:“...
方:◎方 fāng 〈动〉 (1)(象形。下从舟省,而上有竝头之象。故知并船为本义。本义:并行的两船;泛指并列;并行) (2)同本义 [parallel boats;parallel] 方,併船也。象两舟...
法:◎法 灋 fǎ 〈名〉 (1)(会意。从“水”,表示法律、法度公平如水;从“廌”(zhì),即解廌,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义:刑法;法律;法...
公理化方法同音词
- 公计
犹国计,指国家的财政。 汉 王符 《潜夫论·务本》:“今民去农桑,赴游业,披采众利,聚之一门,虽於私家有富,然公计愈贫矣。” 彭铎 校正:“...
- 公同
犹共同。《元典章·兵部一·正军》:“军马粮料衣装盘缠钞定,并仰本翼正官公同尽实给散。”《古今小说·滕大尹鬼断家私》:“ 善继 兀自怒气不息,...
- 公安体
明 代后期公安派所倡导的文体。《明史·文苑传四·袁宏道》:“先是, 王 李 之学盛行, 袁 氏兄弟独心非之。 宗道 在馆中,与同馆 黄辉 力...
- 公共汽车
供乘客乘坐的汽车,有固定的路线和停车站。现多指在城市市内运行的,出城的称长途汽车。
- 整理
◎ 整理 zhěnglǐ[arrange;put in order] 整顿使有条理,有秩序;收拾整理材料
- 以理去官
旧指官员因正常原因卸任。《唐律·名例·以理去官》:“诸以理去官,与见任同。”疏议:“谓不因犯罪而解者,若致仕、得替、省员、废州县之类,应入议...
- 图理
谓以图释其义理。 唐 张彦远 《历代名画记·叙画之源流》:“ 颜光禄 云,图载之意有三:一曰图理,卦象是也;二曰图识,字学是也;三曰图形,绘...
- 内理
内治。 唐 白居易 《大唐故贤妃京兆韦氏墓志铭》:“妃先以《采蘩》之诚奉于上,故能助霜露之感,荐于九庙;……其餘坐论妇道,行赞内理。” 唐 ...