《形式化方法》的解释

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

《形式化方法》包含的汉字

  • 形xíng实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊。样子:形状。形式。形态。形迹。地形。情形。表现:形诸笔墨。喜形于色。对照,比较:相形见绌。状况,地势:形势。古同“型”,模子。古同“刑”,刑罚。笔画数:7;部首:彡;笔顺编号:1132333
  • 式shì物体外形的样子:式样。样式。特定的规格:格式。程式。典礼,有特定内容的仪式:开幕式。阅兵式。自然科学中表明某些关系或规律的一组符号:分子式。算式。公式。一种语法范畴,表示说话者对所说事情的主观态度:叙述式。命令式。笔画数:6;部首:弋;笔顺编号:112154
  • 化huà性质或形态改变:变化。分化。僵化。教(ji刼 )化。熔化。融化。潜移默化。化干弋为玉帛。。佛教、道教徒募集财物:化缘。化斋。用在名词或形容词后,表示转变成某种性质或状态:丑化。绿化。习俗,风气:有伤风化。特指“化学”:化工。化纤。化肥。化huā同“花”⑩。笔画数:4;部首:亻;笔顺编号:3235
  • 方fāng四个角都是90暗乃谋咝位蛄雒娑际侵苯撬谋咝蔚牧⑻澹骸模ㄒ喑啤胺阶印保!邸数学上指某数自乘的积:方根。平方。开方。人的品行端正:方正。方直。一边或一面:方向。方面。地区,地域:地方。方志。方言。方物。方圆。方隅(边疆)。方舆(指领域,亦指大地)。办法,做法,技巧:方式。方法。教导有方。贻笑大方。种,类:变幻无方。仪态万方。为治疗某种疾病而组合起来的若干种药物的名称、剂量和用法:药方。违背:方命。正在,正当:方今盛世。方兴未艾。才,刚刚:方才。如梦方醒。量词,多指一立方米:土石方。量词,用于方形的东西:几方石章。姓。圆笔画数:4;部首:方;笔顺编号:4153
  • 法fǎ体现统治阶段的意志,国家制定和颁布的公民必须遵守的行为规则:法办。法典。法官。法规。法律。法令。法定。法场。法理。法纪。法盲。法人(“自然人”的对称。指依法成立并能以自己的名义独立参与民事活动,享有民事权利和承担法律义务的社会组织)。法制。法治。犯法。守法。合法。宪法(国家的根本大法)。政法。奉公守法。逍遥法外。处理事物的手段:办法。设法。手法。写法。仿效:效法。标准,规范,可仿效的:法式。法帖。佛家的道理:佛法。法号。法轮。法像。法门。道家佛家的所谓拿妖捉怪的技术:法师。法器。法事。指“法国”:法文。法式大菜。姓。笔画数:8;部首:氵;笔顺编号:44112154
0
纠错