首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
形式化方法
形式化方法
拼音
xíng shì huà fāng fǎ
词典解释
把
概念
、
判断
、
推理
转化
成
特制
的
形式
符号
后,对形式符号
表达
系统
进行
研究
的
方法
。它
可以
消除
自然
语言
的
歧义
性、
不通
用性,为
不同
学科
提
供具
有
普遍
适用
性的
共同
逻辑
形式,
有利于
揭示
新
联系
,
导致
新
发现
。
0
纠错
猜你喜欢
悠谬
夜眼
仍云
讬性
殄戮
吃不得
钩芒
骊山北构
好尽
应用推荐
美杜莎之原始传奇手游官网版
狂暴漂移
Zombotron
爱音斯坦FM最新版
生存联网io对战
长板空间
象奔奔司机端
文字农场收获
诗词名句
无复青粘和漆叶,枉将钟乳敌仙茅
宋代
苏轼
树多淮右地,山远汝南城。
唐代
马戴
岁月如流,睽离良苦
元代
王恽
朔风戒良节,赫赫张皇师
明代
钱嶫
云细不成雨,虚从万里还
宋代
冯时行
倘使长如此,便堪休去程。
唐代
孟云卿
地接山林兼有石,天悬星月更无云。
唐代
薛能
何由斸取换肝肠,往驾素虯朝紫皇
宋代
陆游
斲肝枉却期千载,漏眼谁曾更再寻
宋代
杨万里
相思有梦到茅斋,细雨青灯坐林杪
宋代
林之奇