新都首页
词典首页
请输入您要查询的词语:
词语
形式化方法
释义
xíng shì huà/huā fāng fǎ
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
随便看
宇宙飞行器
宇室
宇寰
宇庇
宇庙
宇庭
宇文
宇文周
宇文氏
宇文泰(507-556)
宇文虚中(1079-1146)
宇文邕(543-578)
宇溜
宇甸
宇称
宇称守恒
宇穹
宇航
宇航员
宇航服
宇荫
宇观
宇达
宇量
宇量深广
汉语词典收录380580条汉语词语,以字带词,兼具字典、语文词典和百科词典功能,基本涵盖了全部常用词语的释义及用法,是您工作、学习的好帮手。
Copyright © 2000-2024 Newdu.com.com All Rights Reserved
更新时间:2025/12/29 20:24:44