主菜单
国学字词网
汉语词典
汉语字典
汉语词典
成语词典
英汉词典
造句大全
古诗大全
古今诗人
语文作文
英语作文
国学古籍
首页
汉语字典
汉语词典
成语词典
英汉词典
诗词名句
作文大全
AI创作
传统国学
×
国学典籍
国学起名
谜语大全
歇后语
寓言故事
绕口令
脑筋急转弯
对联大全
节日节气
择日黄历
学霸资源
首页
汉语词典
形式化方法
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分字解释
xíng
形
shì
式
huà huā
化
fāng
方
fǎ
法
词语组词
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
造句
相关词语
huà xué
化
学
zhí fǎ
执
法
yuán fāng
圆
方
qì huà qì
汽
化
器
běi fāng rén
北
方
人
huà fēn
化
分
yào fāng
药
方
kāi huà
开
化
fāng zhèng
方
正
fāng bù
方
步
shàng fāng
上
方
jiāo huà
焦
化
luò luò dà fāng
落落大
方
huà jiàng
化
匠
zhèng fǎ
政
法
huàn huà
幻
化
fāng cè
方
筴
yì huà
异
化
qián fāng
前
方
fāng biàn
方
便
fāng cè
方
策
guāng huà xué
光
化
学
zhǐ fǎ
指
法
dí fāng
敌
方
huà zhù
化
祝
xiù yī zhí fǎ
绣衣执
法
lǐ huà
理
化
xíng xíng sè sè
形
形
色色
sì fāng guǎn
四
方
馆
shí tǐ fǎ
实体
法
huà shí
化
石
xià fāng
下
方
词语组合
ABAC式
AABC式
ABB式
AA式
AAB式
AABB式
ABCC式
ABCB式
ABCA式
词语词性
名词
形容词
连词
动词
副词
代词
数量词
拟声词
介词
疑问词
量词
数词
助词
词语首拼
A
B
C
D
E
F
G
H
J
K
L
M
N
O
P
Q
R
S
T
W
X
Y
Z
词语造句
贫寠
豹饰
板烟
龟龄鹤算
观隅反三
侗长
御米
捉将挟人
狗豨
娱亲
赞溉
风飓