形式化方法

xíng shì huà fāng fǎ

形式化方法读音发音

词语:形式化方法 (xing shi hua fang fa)包含汉字:

首字母:X 首字拼音:xing

词语解释

把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。

词语分字解释

  • (xíng)

    xíng(ㄒ一ㄥˊ)

    (一)、实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊。

    (二)、样子:形状。形式。形态。形迹。地形。情形。

    (三)、表现:形诸笔墨。喜形于色。

    (四)、对照,比较:相形见绌。

    (五)、状况,地势:形势。

    (六)、古同“型”,模子。

    (七)、古同“刑”,刑罚。

  • (shì)

    shì(ㄕˋ)

    (一)、物体外形的样子:式样。样式。

    (二)、特定的规格:格式。程式。

    (三)、典礼,有特定内容的仪式:开幕式。阅兵式。

    (四)、自然科学中表明某些关系或规律的一组符号:分子式。算式。公式。

    (五)、一种语法范畴,表示说话者对所说事情的主观态度:叙述式。命令式。

  • (huà huā)

    huà(ㄏㄨㄚˋ)

    (一)、性质或形态改变:变化。分化。僵化。教( jiào )化。熔化。融化。潜移默化。化干弋为玉帛。。

    (二)、佛教、道教徒募集财物:化缘。化斋。

    (三)、用在名词或形容词后,表示转变成某种性质或状态:丑化。绿化。

    (四)、习俗,风气:有伤风化。

    (五)、特指“化学”:化工。化纤。化肥。

  • (fāng)

    fāng(ㄈㄤ)

    (一)、四个角都是90度直角的四边形或六个面都是方形的立体;正方形.长方形

    (二)、数学上指某数自乘的积:方根。平方。开方。

    (三)、人的品行端正:方正。方直。

    (四)、一边或一面:方向。方面。

    (五)、地区,地域:地方。方志。方言。方物。方圆。方隅(边疆)。方舆(指领域,亦指大地)。

    (六)、办法,做法,技巧:方式。方法。教导有方。贻笑大方。

    (七)、种,类:变幻无方。仪态万方。

    (八)、为治疗某种疾病而组合起来的若干种药物的名称、剂量和用法:药方。

    (九)、违背:方命。

    (十)、正在,正当:方今盛世。方兴未艾。

    (十一)、才,刚刚:方才。如梦方醒。

    (十二)、量词,多指一立方米:土石方。

    (十三)、量词,用于方形的东西:几方石章。

    (十四)、姓。

  • (fǎ)

    fǎ(ㄈㄚˇ)

    (一)、体现统治阶段的意志,国家制定和颁布的公民必须遵守的行为规则:法办。法典。法官。法规。法律。法令。法定。法场。法理。法纪。法盲。法人(“自然人”的对称。指依法成立并能以自己的名义独立参与民事活动,享有民事权利和承担法律义务的社会组织)。法制。法治。犯法。守法。合法。宪法(国家的根本大法)。政法。奉公守法。逍遥法外。

    (二)、处理事物的手段:办法。设法。手法。写法。

    (三)、仿效:效法。

    (四)、标准,规范,可仿效的:法式。法帖。

    (五)、佛家的道理:佛法。法号。法轮。法像。法门。

    (六)、道家佛家的所谓拿妖捉怪的技术:法师。法器。法事。

    (七)、指“法国”:法文。法式大菜。

    (八)、姓。

形式化方法相关词语(所含汉字: )

新文化运动平行四边形喷气式飞机有机化合物唯物辩证法河姆渡文化碳水化合物法西斯主义五岳真形图广大教化主待定系数法东方图书馆司母戊方鼎方程式赛车液化石油气飞航式导弹化为绕指柔碱式碳酸铜印纹陶文化王太保家法练功十八法高分子化工非企业法人阿尔法粒子辗转相除法公理化方法点球决胜法官场现形记弹道式导弹半导体化学五方狮子舞有形进出口法西斯细菌异形拆拼法法定代表人地方性植物分母有理化等腰三角形流水作业法二次多项式直角三角形形象代言人法向加速度碳氢化合物马家浜文化填鸭式灌输内容与形式包法利夫人法定准备率笔画查字法同素异形体卡式录音机地方性法规系统脱敏法法兰克王国农业合作化二元方程式电气化铁路马家窑文化对称多项式自由式摔跤法兰西内战丁令威化鹤电子排布式两性化合物摩托化步兵法曲献仙音三角恒等式电离方程式中承式拱桥化学方程式光化学烟雾法人财产权光化学反应工农兵方向衣食节制法共价化合物现代化建设庸俗进化论分化与整合古典式摔跤尚方斩马剑儿童文化宫栈桥式码头化学反应式鬼头靶法刀形式化方法法属圭亚那民事诉讼法刑事诉讼法倍立方问题等边三角形哈拉帕文化四个现代化自然辩证法唯心辩证法食方丈于前化学需氧量环形交叉口五氧化二磷氢氧化亚铁两性氧化物五氧化二钒三希堂法帖阿尔法射线柯西不等式文化人类学轨道表示式四方连邮票化学短纤维大汶口文化行政诉讼法机械化部队外层空间法国防现代化借贷记帐法细胞外消化哥特式艺术滚动式计划四氧化三铁

形式化方法相关成语(所含汉字: )

形式化方法其他相关

按拼音查词语

ABCDEFGHJKLMNOPQRSTWXYZ
©2024 小娃子  版权所有  小娃子 育儿生活实用查询工具