弘扬国学 · 传承文化
词典网
主菜单
汉语词典
首页
汉语词典
形式化方法
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分字解释
xíng
形
shì
式
huà huā
化
fāng
方
fǎ
法
※ "形式化方法"的意思解释、形式化方法是什么意思由
词典网
汉语词典查词提供。
词语组词 / 相关词语
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
相关词语
fāng yǐ lèi jù
方
以类聚
ráo fǎ
桡
法
shù zì shì yí biǎo
数字
式
仪表
rén gé huà
人格
化
yuán kǒng fāng mù
圆孔
方
木
yìn jiā wén huà
印加文
化
dì xíng jiā
地
形
家
huà fǔ xiǔ wéi shén qí
化
腐朽为神奇
héng xíng bù fǎ
横行不
法
fǎng shēng huà xué
仿生
化
学
chāo yǎng huà wù
超氧
化
物
qiān xíng
迁
形
tuì huà biàn zhì
蜕
化
变质
é fǎ yī bā yī èr nián zhàn zhēng
俄
法
一八一二年战争
bā guà fāng wèi
八卦
方
位
dú bà yī fāng
独霸一
方
fāng lì
方
立
xuǎn fǎ
选
法
jì yuē duō xiàng shì
既约多项
式
dòu shuǎ fāng
逗耍
方
dōng fāng shèng rén
东
方
圣人
jié gòu huà chéng xù shè jì
结构
化
程序设计
nèi róng yǔ xíng shì
内容与
形
式
shǐ fǎ
史
法
qì hé fǎ
契合
法
hàn yǔ pīn yīn fāng àn
汉语拼音
方
案
zuì fǎ
罪
法
xíng dān yǐng zhī
形
单影只
zǎn xíng
攒
形
xíng dān yǐng shuāng
形
单影双
bàn mǔ fāng táng
半亩
方
塘
shū xíng guài zhuàng
殊
形
怪状
词语词性
名词
形容词
连词
动词
副词
代词
数量词
成语
拟声词
介词
疑问词
量词
数词
助词
词语组合
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