首页
应用
游戏
资讯
攻略
多特
多特字典
形式化方法
形
式
化
方
法
[ ]
注音:
基本解释
网络解释
“形式化方法” 基本解释
形式化方法 [ ]
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
“形式化方法” 分词解释
形
● 形 xíng ㄒㄧㄥˊ 实体:~仪(体态仪表)。~体。~貌。~容。~骸。~单影只。~影相吊。 样子:~状。~式。~态�
详情
式
基本字义● 式shì ㄕˋ物体外形的样子:~样。样~。特定的规格:格~。程~。典礼,有特定内容的仪式:开幕~。阅兵~。自然科学中表明某些关系或规�
详情
化
基本字义● 化huà ㄏㄨㄚˋ性质或形态改变:变~。分~。僵~。教(jiào )~。熔~。融~。潜移默~。~干弋为玉帛。。佛教、道教徒募集�
详情
方
基本字义● 方fāng ㄈㄤˉ 四个角都是90度直角的四边形或六个面都是方形的立体;正~形.长~形 数学上指某数自乘的积:~根。平~。开~�
详情
法
● 法fǎ ㄈㄚˇ 体现统治阶段的意志,国家制定和颁布的公民必须遵守的行为规则:~办。~典。~官。~规。~律。~令。~定。~场。~理。~纪。~盲
详情
“形式化方法” 相关成语
神超
形
越
一犬吠
形
,百犬吠声
遗
形
忘性
自觉
形
秽
鹄
形
菜色
枯
形
灰心
兵无常
形
槁
形
灰心
活
形
活现
刳
形
去皮
潜
形
匿迹
千
形
万状
“形式化方法” 相关词语
兰
形
棘心
梨
形
地球
穷
形
尽致
木
形
灰心
一犬吠
形
,群犬吠声
法有定论,兵无常
形
钳
形
攻势
大家都在搜索
孤帐
汩湮
骨雕
瓜田
寡汉
官满
焊锡
苟言
诟忌
孤贱
孤累
孤卿
愲结
挂失
挂一钩子
絓结
观窥
观仰
蛊慝
固体地球物理学
汉字
词语
成语
网站地图
意见反馈
回到首页
首页
小说
应用
游戏
应用专题
高分应用
资讯
攻略
字典
收起