首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
形式化方法
形式化方法
拼音
xíng shì huà fāng fǎ
词典解释
把
概念
、
判断
、
推理
转化
成
特制
的
形式
符号
后,对形式符号
表达
系统
进行
研究
的
方法
。它
可以
消除
自然
语言
的
歧义
性、
不通
用性,为
不同
学科
提
供具
有
普遍
适用
性的
共同
逻辑
形式,
有利于
揭示
新
联系
,
导致
新
发现
。
0
纠错
猜你喜欢
内宅
五羖皮
嫖客
昆仑竹
北海油田
康护
画裙
嚣书
椿期
应用推荐
萌斗波克斯
YY语音
岛民
泡泡龙萌星大作战
画线英雄
无人机模拟器训练
职业棒球h2
怪物农场:万圣节
诗词名句
英灵如过隙,宴衎愿投胶
唐代
杜甫
人生无此恨,鬓色不成丝
唐代
杜荀鹤
石父不逢齐子相,马迁空作汉家囚
宋代
华岳
白水满塘蒲荇青,野凫相对浴春晴
宋代
王炎
要须酒壶缀羊羫,哀箫怨笛歌鬟双
宋代
胡寅
翠蓂双荚为谁芳。
宋代
黄人杰
少年射虎名豪,等闲赤羽千夫膳。
金代
元好问
细草疏花自在春。
宋代
张釜
惊风翻河汉,梁栋已出日
唐代
杜甫
此意尽豪哪易遂学龙吟、屈煞床头铁
清代
陈维崧