搜索
首页 词典大全

形式化方法

读音:xíng shì huà fāng fǎ

词语解释

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

首字母缩写:xshff

【拼音】xíngshìhuàfāngzhǔ

上一篇
形色仓皇
下一篇
形式美
推荐购买
名句 | 成语大全 | 杂谈 | 词典 | 字典 | 拼音 | 谜语 | 拆字 | 造句 | 诗词上一句 | 诗词下一句 | 名字赏析 | 其他 | 今日天气诗词 | 热门搜索 Copyright © 湘ICP备17014254号-2