公理化方法
拼音: gōng lǐ huà fāng fǎ公理化方法的解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
词语分解
0
纠错
精彩推荐:
-
衰废的解释
犹衰败。史记太史公自序周道衰废。后汉书寇荣传帝省章愈怒,遂诛荣。寇氏由是衰废。宋 -
不问青红皂白的解释
见不分清红皂白扯开衣服看了两处不问青红皂白举起鞭子就打。老残游记续集遗稿详细解释 -
锄食的解释
靠耕种为食。唐孟郊秋怀诗之十锄食难满腹,叶衣多丑躬。 -
离城的解释
犹言离宫别馆。汉袁康越绝书外传记吴地传古城者,吴王闔庐所置美人离城也。去县七十里 -
赫剌剌的解释
威武显赫貌。 -
寄小读者的解释
散文集。冰心作。年出版。共收散文二十九篇。记录作者赴美国的经历和见闻,抒发对遥远 -
嘘吸的解释
大气鼓荡,吐纳呼吸。庄子天运风起北方,一西一东,有上彷徨,孰嘘吸是成玄英疏嘘吸, -
朝阳鸣凤的解释
比喻品德出众正直敢谏之人。语出诗大雅卷阿凤凰鸣矣,于彼高冈,梧桐生矣,于彼朝阳。 -
水阳的解释
水的北面。南朝梁江淹赤虹赋赩赫山顶,炤燎水阳。 -
旁勃的解释
白蒿的别名。北魏贾思勰齐民要术五穀果蓏菜茹非中国物产者七禽方,十一月采旁勃。旁勃 -
散齐的解释
亦作散斋。古礼于祭祀父母前七日不御不乐不吊,谓之散斋。齐,后多作斋。礼记祭义致齐 -
侧犯的解释
犹冒犯。明汤显祖牡丹亭诘病怕腰身触污了柳灵精,虚嚣侧犯了花神圣。词牌名。唐人以宫 -
谢豹花的解释
杜鹃花的别名。清厉荃事物异名录花卉杜鹃广事类赋杜鹃一名谢豹花。 -
韩潮苏海的解释
亦作韩海苏潮。谓唐韩愈和宋苏轼的文章如潮如海,气势磅礡,波澜壮阔。清俞樾茶香室丛 -
斗拳的解释
比试拳术猜拳 -
细菌的解释
组成裂殖菌纲的一大类微小植物具有圆形杆状螺旋形或丝状的单细胞或非细胞菌体常聚集成 -
磕绊的解释
方言。由说话引起的争端冲突。沙汀淘金记二三三月初八!可是他就弄了两回磕绊,闹得何 -
无服之丧的解释
谓有悲恻之心而无服丧之举。礼记孔子闲居孔子曰无声之乐,无体之礼,无服之丧,此之谓 -
万里迢迢的解释
形容路程很遥远。清刘献廷广阳杂记卷四女家贫,人口众,万里迢迢,何以当此。李瑛茶诗 -
风艳的解释
风姿艳丽。唐刘言史别落花诗风艳霏霏去,羈人处处游。风雅艳丽。明杨慎词品冯伟寿殊有
关注词典网微信公众号:词典网,回复:公理化方法汉语快速查询。
评论
发表评论
词典网微信公众号
下载词典网APP
用手机扫一扫