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

形式化方法

拼音
xíng shì huà fāng fă
注音
ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

形式化方法的意思

词语解释

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

形式化方法的字义分解

  • 化

    拼音 huàhuā 部首 亻 总笔画 4

    ["①性质或形态改变。如 变~。分~。僵~。教( jiào )~。熔~。融~。潜移默~。~干弋为玉帛。。②佛教、道教徒募集财物。如 ~缘。~斋。③用在名词或形容词后,表示转变成某种性质或状态。如 丑~。绿~。④习俗,风气。如 有伤风~。⑤特指“化学”如 ~工。~纤。~肥。","◎同“花”。"]详细解释

  • 式

    拼音 shì 部首 弋 总笔画 6

    ["①物体外形的样子。如 ~样。样~。②特定的规格。如 格~。程~。③典礼,有特定内容的仪式。如 开幕~。阅兵~。④自然科学中表明某些关系或规律的一组符号。如 分子~。算~。公~。⑤一种语法范畴,表示说话者对所说事情的主观态度。如 叙述~。命令~。"]详细解释

  • 形

    拼音 xíng 部首 彡 总笔画 7

    ["①实体。如 ~仪(体态仪表)。~体。~貌。~容。~骸。~单影只。~影相吊。②样子。如 ~状。~式。~态。~迹。地~。情~。③表现。如 ~诸笔墨。喜~于色。④对照,比较。如 相~见绌。⑤状况,地势。如 ~势。⑥古同“型”,模子。⑦古同“刑”,刑罚。"]详细解释

  • 方

    拼音 fāng 部首 方 总笔画 4

    ["①四个角都是90度直角的四边形或六个面都是方形的立体;正~形.长~形②数学上指某数自乘的积。如 ~根。平~。开~。③人的品行端正。如 ~正。~直。④一边或一面。如 ~向。~面。⑤地区,地域。如 地~。~志。~言。~物。~圆。~隅(边疆)。~舆(指领域,亦指大地)。⑥办法,做法,技巧。如 ~式。~法。教导有~。贻笑大~。⑦种,类。如 变幻无~。仪态万~。⑧为治疗某种疾病而组合起来的若干种药物的名称、剂量和用法。如 药~。⑨违背。如 ~命。⑩正在,正当。如 ~今盛世。~兴未艾。⑪才,刚刚。如 ~才。如梦~醒。⑫量词,多指一立方米。如 土石~。⑬量词,用于方形的东西。如 几~石章。⑭姓。"]详细解释

  • 法

    拼音 fǎ 部首 氵 总笔画 8

    ["①体现统治阶级的意志,国家制定和颁布的公民必须遵守的行为规则。如 ~办。~典。~官。~规。~律。~令。~定。~场。~理。~纪。~盲。~人(“自然人”的对称。指依法成立并能以自己的名义独立参与民事活动,享有民事权利和承担法律义务的社会组织)。~制。~治。犯~。守~。合~。宪~(国家的根本大法)。政~。奉公守~。逍遥~外。②处理事物的手段。如 办~。设~。手~。写~。③仿效。如 效~。④标准,规范,可仿效的。如 ~式。~帖。⑤佛家的道理。如 佛~。~号。~轮。~像。~门。⑥道家佛家的所谓拿妖捉怪的技术。如 ~师。~器。~事。⑦指“法国”如 ~文。~式大菜。⑧姓。"]详细解释

形式化方法的分字组词

形式化方法的相关词语