搜索
主菜单
遥传千里· 悦耳动人
查诗词
查字典
查词典
查成语
查造句
查近义词
查单词
查名称
投稿须知
目录导航
工具目录
汉语字典
汉语词典
成语大全
英文单词
英文缩写
近反义词
近反义词
近反字库
近反义词
诗词大全
精选
热门诗人
诗词名句
古诗诗文
推荐诗人
诸葛亮
皇甫冉
姚合
李贺
罗隐
郑燮
首页
汉语词典
汉语字典
古诗赏析
成语大全
传统节气
名字大全
百家姓
近反义词
英语单词
词语造句
英文缩写
词典
形式化方法的意思
xíng
shì
huà
fāng
fǎ
形式化方法
拼音
xíng shì huà fāng fǎ
注音
ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语
解释
⒈ 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除
自然
语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于
揭示
新联系,导致新发现。
词语组词
形
字组词
式
字组词
化
字组词
方
字组词
法
字组词
相关词语
zì yóu shì shuāi jiāo
自由
式
摔跤
zhōng guó shì shuāi jiāo
中国
式
摔跤
zūn fǎ
遵
法
zǐ fāng
滓
方
zhàn fǎ
占
法
wǔ fāng zhuàng
五
方
幢
zī xíng
姿
形
zī shì
姿
式
zàng shì
葬
式
wén huà shān
文
化
衫
wǔ fǎ
侮
法
zhòng xíng
众
形
zhòu huà
骤
化
wā fāng
挖
方
wèi xíng
未
形
zhào fǎ
赵
法
zhì fāng
陟
方
wǔ huà
武
化
wén huà guǎn
文
化
馆
zuò fāng biàn
做
方
便
zhān huà
沾
化
zǒu fāng
走
方
wǎng huà
往
化
zhì fǎ
置
法
zhǔ fǎ
主
法
zǐ fāng guǎn
紫
方
馆
zhèng fǎ
证
法
zhí bǐ fǎ
执笔
法
zhěn fāng
轸
方
zhàng shì
杖
式
形寿
形势户
形势逼人
形式美
形式主义
形式逻辑
形式化方法
形识
形胜
形声
形生
形神
形色仓皇
栏目分类
诗人
诗词名句
汉语字典
汉语词典
成语大全
二十四节气
英文单词
英语单词
英文缩写
名字大全
近反义词
古诗词
词语造句
百家姓
词语词性
拟声词
代词
动词
名词
形容词
副词
量词
介词
连词
数量词
数词
助词
疑问词
成语
词语组合
生肖
四季
数字
动物
植物
颜色
方位
味道
自然
身体
武器
词语组词
AA式
ABCC式
AABC式
ABB式
ABAC式
AAB式
ABCB式
ABBC式
ABAB式
词语首拼
A
B
C
D
E
X
F
G
H
J
K
K
L
M
N
Z
Y
O
W
P
P
P
R
S
T
.
返回
查范文
查诗词
查字典
查词典
查成语
最新范文
历史搜索
furr
隔
隔岸观火
爱国
爱国
fox
例子
李森
里面
李
大家都在搜
范文
将进酒
破阵乐
念奴娇
多丽
永遇乐
范 文
李白
长 征
我