xíngshìhuàfāngfǎ

形式化方法

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

ㄒㄧㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

形式化方法的意思

词语解释

形式化方法xíng shì huà fāng fǎ

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

国语辞典

形式化方法xíng shì huà fāng fǎ

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

网络解释

形式化方法 (汉语词语)

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

字义分解

  • 形

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

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

  • 式

    拼音 shì 部首 弋 总笔画 6

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

  • 化

    拼音 huà 部首 亻 总笔画 4

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

  • 方

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

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

  • 法

    拼音 fǎ 部首 氵 总笔画 8

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

分字组词

相关组词