首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
形式化方法
形式化方法
拼音
xíng shì huà fāng fǎ
词典解释
把
概念
、
判断
、
推理
转化
成
特制
的
形式
符号
后,对形式符号
表达
系统
进行
研究
的
方法
。它
可以
消除
自然
语言
的
歧义
性、
不通
用性,为
不同
学科
提
供具
有
普遍
适用
性的
共同
逻辑
形式,
有利于
揭示
新
联系
,
导致
新
发现
。
0
纠错
猜你喜欢
抛丸
名路
没幸
部曹
天毕
野步
恨怨
韬真
结拜
应用推荐
晾晒时光
7x7消除
奇迹精灵重生
人鱼公主装扮沙龙最新版
活色生香
史诗战士对决
Ooga部落冒险
双人指尖运动
诗词名句
青眼相逢尤异处,他年翘馆旧门阑
宋代
陈宗远
怕听花间惜别词,伪留片语定来期
清代
龚自珍
记它年相访,认取斜川三迳。
宋代
晁补之
骧首入丹掖,抟空趋太微。
唐代
储光羲
面岑可为楼,所惜着亭隘
宋代
赵汝譡
草蔓已多露,松竹总含风
宋代
王质
飞梁谁字小垂虹,波面蜿蜒去不穷
宋代
苏泂
雷电不敢伐,鳞皴势万端。
唐代
齐己
流水生涯尽,浮云世事空
唐代
杜诵
涂屋兆蕃硕,饮潭进耆耋
宋代
洪咨夔