弘扬国学 · 传承文化
词典网
主菜单
汉语词典
首页
汉语词典
形式化方法
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分字解释
xíng
形
shì
式
huà huā
化
fāng
方
fǎ
法
※ "形式化方法"的意思解释、形式化方法是什么意思由
词典网
汉语词典查词提供。
词语组词 / 相关词语
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
相关词语
zá huà guǐ dào
杂
化
轨道
nì xíng
匿
形
gǔ dài dōng fāng
古代东
方
fǎ lán xī jiā ná dà rén
法
兰西加拿大人
liǎng xíng
两
形
fāng xuān
方
轩
fāng chē
方
车
fǎ gē
法
歌
fāng bīn
方
宾
fāng bǎo
方
宝
xíng é
形
讹
jiǎo xíng
矫
形
guǐ fāng
鬼
方
xíng zhū bǐ mò
形
诸笔墨
fǎ zhú
法
烛
wéi xīn biàn zhèng fǎ
唯心辩证
法
wǔ léi tiān xīn zhèng fǎ
五雷天心正
法
fāng záo yuán ruì
方
凿圆枘
shí biàn wǔ huà
十变五
化
yǐn huà
隐
化
fāng zú yuán lú
方
足圆颅
suí yuán jiù fāng
随圆就
方
yán fǎ
颜
法
guǐ zhuàng yì xíng
诡状异
形
rùn fǎ
闰
法
gòng fāng
共
方
pàn bié shì
判别
式
fǎ lóng sì
法
隆寺
biàn xíng jì
变
形
记
děng biān sān jiǎo xíng
等边三角
形
chāo xíng
超
形
lǎn bàn 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