首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
形式化方法
形式化方法
拼音
xíng shì huà fāng fǎ
词典解释
把
概念
、
判断
、
推理
转化
成
特制
的
形式
符号
后,对形式符号
表达
系统
进行
研究
的
方法
。它
可以
消除
自然
语言
的
歧义
性、
不通
用性,为
不同
学科
提
供具
有
普遍
适用
性的
共同
逻辑
形式,
有利于
揭示
新
联系
,
导致
新
发现
。
0
纠错
猜你喜欢
离相平等
专恣
庆帮
病守
全躯保妻子
雅艳
造衅
甄陀罗
官学生
应用推荐
我的专属偶像
松鼠联盟
你能通关吗
卡车停车场
动物园转移动物
松鼠返利
冰雪竞技赛最新版
猜谜家族
诗词名句
瞰崖聊寄目,万物极纤穠。
宋代
王安石
他日吴公如记问,愿将黄绶比青毡
唐代
卢纶
摇摇曳曳水西流,风定波凝不起沤
宋代
陈岩
欹眠露下舸,侧见星月吐
宋代
王安石
不寐何为者,閒人最号忙
宋代
方岳
浮磬依稀类泗滨。
元代
许有壬
严驾发沧浪,行乐从所之
宋代
曹勋
冰轮桂魄圆时少,应似人间离别多
宋代
宋构
向登百金贵,首尾必吹墟
宋代
梅尧臣
泉鸣细岩窦,鹤唳眇云端
唐代
徐铉