chinese-xinhua 开源字词库
简体整理词头:形式化方法
版本 fe6d6c2e8baa
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
查看完整资料与来源
- 词头
- 形式化方法
- 释义
- 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
来源:pwxcoo/chinese-xinhua;本站作简体转换、去重与格式整理。 数据说明与许可