典籍资料库 / 汉语辞书(社区数据)

形式化方法

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

关联工具

相关资料

用本篇题名检索非遗名录 · 浏览非遗文化

沿着文脉,继续探索

Art SciForu发现冷门工具
有方法,也有出处

搜索全部工具