公理化方法的拼音
gōng lǐ huà fāng fǎ
gōng lǐ huà fāng fǎ
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
相关范文推荐
动画片的拼音dòng huà piān 动画片的意思[cartoon] 动画影片详细解释美术片的一种,把人、物的表情、动作、变化等分段画成许多画幅,再用摄影机连续拍摄而成。
营勾的拼音yíng gōu 营勾怎么写好看营勾的意思(1).勾引。 元 吕止庵 《醉扶归》曲:“早知伊家不应口,谁肯先成就。营勾了人也罢手,喫得我些酩子里駡,低低的咒。” 元 戴善夫 《风光好》第三折:“好也囉!学士!你营勾了人,却便粧忘魂。”《二刻拍案惊奇》卷二八:“小人喜欢他妻子,要营勾他是真。”(2).谋取。《初刻拍案惊奇》卷二二:“若不营勾这官,多带些钱归来用度也好。”
钵单的拼音bō dān 钵单怎么写好看钵单的意思僧人的饭单,多用绸片或厚纸折合而成,斋食时用以放置、铺垫钵盂。 宋 范成大 《净慈显老为众行化且示近所写真戏题五绝就作画赞》之二:“冒雪敲冰乞米迴,斋堂如海鉢单开。”
际留的拼音jì liú 际留的意思委积滞留。《元典章·刑部八·替闲官员犯赃》:“ 古田县 贴书 王日进 等,各状指前 永福县 主簿 兀该 因为催督际留米粮,要讫 王日进 中统钞二定。” 元 俞琰 《席上腐谈》:“ 吴 人指积薪曰柴积。积音际,即《周礼·天官》委积之积。 郑氏 云:‘委积,谓牢米薪芻。’《释文》云:‘积,子赐反,今讹为际,以委积停留曰际留。’”
时田的拼音shí tián 时田的意思指四时田猎。《大戴礼记·夏小正》:“十有一月,王狩。狩者,言王之时田。冬猎为狩。”