形式化方法的拼音、解释、组词
形式化方法的简介：
xíng shì huà/huā fāng fǎ
把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
分词解释
形
xíng
1 实体：～仪（体态仪表）。～体。～貌。～容。～骸。～单影只。～影相吊。2 样子：～状。～式。～态。～迹。地～。情～。3 表现：～诸笔墨。喜～于色。4 对照，比较：相～见绌。5 状况，地势：～势。6 古同“ 型 ”，模子。7 古同“ 刑 ”，刑罚。
式
shì
1 物体外形的样子：～样。样～。2 特定的规格：格～。程～。3 典礼，有特定内容的仪式：开幕～。阅兵～。4 自然科学中表明某些关系或规律的一组符号：分子～。算～。公～。5 一种语法范畴，表示说话者对所说事情的主观态度：叙述～。命令～。
化
huà,huā
1 性质或形态改变：变～。分～。僵～。教（jiào ）～。熔～。融～。潜移默～。～干弋为玉帛。。2 佛教、道教徒募集财物：～缘。～斋。3 用在名词或形容词后，表示转变成某种性质或状态：丑～。绿～。4 习俗，风气：有伤风～。5 特指“化学”：～工。～纤。～肥。
方
fāng
1 四个角都是90度直角的四边形或六个面都是方形的立体；正～形．长～形2 数学上指某数自乘的积：～根。平～。开～。3 人的品行端正：～正。～直。4 一边或一面：～向。～面。5 地区，地域：地～。～志。～言。～物。～圆。～隅（边疆）。～舆（指领域，亦指大地）。6 办法，做法，技巧：～式。～法。教导有～。贻笑大～。7 种，类：变幻无～。仪态万～。8 为治疗某种疾病而组合起来的若干种药物的名称、剂量和用法：药～。9 违背：～命。10 正在，正当：～今盛世。～兴未艾。11 才，刚刚：～才。如梦～醒。12 量词，多指一立方米：土石～。13 量词，用于方形的东西：几～石章。14 姓。
法
fǎ
1 体现统治阶级的意志，国家制定和颁布的公民必须遵守的行为规则：～办。～典。～官。～规。～律。～令。～定。～场。～理。～纪。～盲。～人（“自然人”的对称。指依法成立并能以自己的名义独立参与民事活动，享有民事权利和承担法律义务的社会组织）。～制。～治。犯～。守～。合～。宪～（国家的根本大法）。政～。奉公守～。逍遥～外。2 处理事物的手段：办～。设～。手～。写～。3 仿效：效～。4 标准，规范，可仿效的：～式。～帖。5 佛家的道理：佛～。～号。～轮。～像。～门。6 道家佛家的所谓拿妖捉怪的技术：～师。～器。～事。7 指“法国”：～文。～式大菜。8 姓。