形式化方法的释义

拼音 xíng shì huà fāng fǎ

词语 形式化方法

---

基本解释

把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

词语组词

• 与“形”相关的词语
• 与“式”相关的词语
• 与“化”相关的词语
• 与“方”相关的词语
• 与“法”相关的词语

字母索引

• A
• B
• C
• D
• E
• F
• G
• H
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• W
• X
• Y
• Z

词语词性

• 名词
• 动词
• 形容词
• 副词
• 拟声词
• 助词
• 连词
• 介词
• 代词
• 疑问词
• 数词
• 量词
• 数量词
• 成语

植物词语

• 花
• 草
• 树
• 瓜
• 果
• 松
• 柏
• 杨
• 柳
• 桑
• 榆
• 槐
• 梧
• 桃
• 李
• 杏
• 梨
• 枣
• 麦
• 茶
• 梅
• 兰
• 荷
• 竹
• 桂
• 莲