形式化方法是什么意思

把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分词解释
拼音:xíng 部首:彡 笔划:7 五笔:gaet

xíng
实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊。
样子:形状。形式。形态。形迹。地形。情形。
表现:形诸笔墨。喜形于色。
对照,比较:相形见绌。
状况,地势:形势。
古同“型”,模子。
古同“刑”,刑罚。

笔画数:7;
部首:彡;
笔顺编号:1132333


拼音:shì 部首:弋 笔划:6 五笔:aad

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

笔画数:6;
部首:弋;
笔顺编号:112154


拼音:huà,huā 部首:亻 笔划:4 五笔:wxn

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


huā
同“花”⑩。

笔画数:4;
部首:亻;
笔顺编号:3235


拼音:fāng 部首:方 笔划:4 五笔:yygn

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

拼音:fǎ 部首:氵 笔划:8 五笔:ifcy


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

笔画数:8;
部首:氵;
笔顺编号:44112154


更多组词