弘扬国学 · 传承文化
词典网
主菜单
汉语词典
首页
汉语词典
形式化方法
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分字解释
xíng
形
shì
式
huà huā
化
fāng
方
fǎ
法
※ "形式化方法"的意思解释、形式化方法是什么意思由
词典网
汉语词典查词提供。
词语组词 / 相关词语
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
相关词语
diàn zhēn liáo fǎ
电针疗
法
yè huà shí yóu qì
液
化
石油气
fāng cí
方
祠
chāo huà
抄
化
bù lù xíng sè
不露
形
色
rú yǐng suí xíng
如影随
形
fāng sì
方
祀
cháo huà
朝
化
huà bì
化
碧
lí fāng dùn yuán
离
方
遁员
èr cì fāng chéng
二次
方
程
biàn wù jū fāng
辨物居
方
lóng huà
龙
化
xiāng yìn fǎ
相印
法
zhèng huà
政
化
zhōng huá rén mín gòng hé guó xíng zhèng sù sòng fǎ
中华人民共和国行政诉讼
法
jǔ zú wéi fǎ
举足为
法
wǔ wén wán fǎ
舞文玩
法
yì yù shū fāng
异域殊
方
dōng fāng sān dà
东
方
三大
biàn huà duō duān
变
化
多端
yǐng fǎ
颖
法
huà bēi tòng wéi lì liàng
化
悲痛为力量
lǎo fǎ
老
法
sì wā wén huà
寺洼文
化
jiǎn fǎ
简
法
dì fāng xìng zhí wù
地
方
性植物
ā zhèng zhī huà
阿郑之
化
fāng jìng
方
径
fǎ jiè guān
法
界观
fāng jiǎo
方
徼
fǎn zhè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