首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
形式化方法
形式化方法
拼音
xíng shì huà fāng fǎ
词典解释
把
概念
、
判断
、
推理
转化
成
特制
的
形式
符号
后,对形式符号
表达
系统
进行
研究
的
方法
。它
可以
消除
自然
语言
的
歧义
性、
不通
用性,为
不同
学科
提
供具
有
普遍
适用
性的
共同
逻辑
形式,
有利于
揭示
新
联系
,
导致
新
发现
。
0
纠错
猜你喜欢
宣答
冯至
耑勒
疆固
依实
观见
疾很
怡心
墒土
应用推荐
古墓猎人
躲避星盗
不倒翁足球
人类大乱斗
双人联机比拼
万众图库
仙界之旅
路纳的钓鱼花园最新版
诗词名句
象板且须歌皓齿,袅蹄何苦惜黄金。
宋代
黄机
与君相遇知何处,两叶浮萍大海中。
唐代
白居易
我怀宣献公,况君乃其孙
宋代
陈著
桂燎灵宫晓,萧脂太室晨
宋代
范成大
僮仆履云雾,随我行太空
唐代
储光羲
不见眼中人,相思心断续。
唐代
刘长卿
小臣亦忝廊西献,惟秉温恭对越来
宋代
杨简
平洲柿栗满区瓜。
元代
周权
六郎夫妇三生梦,肠断目成眉语。
元代
李治
岂识天下乐,本非外铄为
宋代
陈著