弘扬国学 · 传承文化
词典网
主菜单
汉语词典
首页
汉语词典
形式化方法
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分字解释
xíng
形
shì
式
huà huā
化
fāng
方
fǎ
法
※ "形式化方法"的意思解释、形式化方法是什么意思由
词典网
汉语词典查词提供。
词语组词 / 相关词语
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
相关词语
tuí xíng
颓
形
yī shàng qīng shān biàn huà shēn
一上青山便
化
身
xíng luán
形
脔
shū jí fǎ
输籍
法
fēn fāng
分
方
zǔ zhī fǎ
组织
法
fāng péng
方
蓬
fǎ lán xī dì èr gòng hé guó
法
兰西第二共和国
xī fāng shèng rén
西
方
圣人
fāng kuàng tú
方
框图
fǎ qián
法
钱
fǎ bō
法
钵
yuán xíng bài lù
原
形
败露
bì fǎ
弊
法
fāng cùn wàn chóng
方
寸万重
bù liè fāng tóu
不劣
方
头
huà xué páo dàn
化
学炮弹
kǎ shì lù yīn jī
卡
式
录音机
biàn zhèng fǎ wéi wù lùn tí gāng
辩证
法
唯物论提纲
jīn shǔ yǎng huà wù bàn dǎo tǐ jí chéng diàn lù
金属氧
化
物半导体集成电路
gāng jì sì fāng
纲纪四
方
luó mǎ shì yì shù
罗马
式
艺术
fǎ xí
法
席
sān fǎ
三
法
sān nián huà bì
三年
化
碧
huà fǔ wéi qí
化
腐为奇
fǎ xī sī zhǔ yì
法
西斯主义
mào hé xíng lí
貌合
形
离
shuāng èr cì fāng chéng
双二次
方
程
kuī xíng
亏
形
táo xíng
逃
形
duō yuán jiǎ shuō fāng fǎ
多元假说
方
法
词语词性
名词
形容词
连词
动词
副词
代词
数量词
成语
拟声词
介词
疑问词
量词
数词
助词
词语组合
ABAC式
AABC式
ABB式
AA式
AAB式
AABB式
ABCC式
ABCB式
ABCA式
ABAB式
A里AB式
ABBC式
词语首拼
A
B
C
D
E
F
G
H
J
K
L
M
N
O
P
Q
R
S
T
W
X
Y
Z