网站首页
词典首页
请输入您要查询的词语:
词语
形式化方法
释义
形式化方法
基本解释
:
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
随便看
釜山
釜底抽薪
釜底游魂
釜底游鱼
釜庾
釜斤
釜灶
釜煤
釜甑
釜甗
釜砾
釜罂
釜脐墨
釜鍑
釜鏂
釜钟
釜钺
釜锅
釜鬲
釜鬵
釜鱼
釜鱼幕燕
釜鱼甑尘
釜鼓
針
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。
Copyright © 2000-2024 Sap9.com All Rights Reserved
更新时间:2025/4/6 13:22:51