微信扫一扫
随时随地学习
当前位置 :
形式化方法
 更新时间:2024-04-24 08:38:09
形式化方法
xínɡ shì huà fānɡ fǎ
  • 形式化方法的解释
  • 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。

形式化方法的书写
形式化方法造句
1、第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。2、基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果,提出了一种网络故障管理的形式化方法。3、逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用。
精品分类
PC端 | 移动端 | mip端
字典网(zidianwang.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典网 zidianwang.com 版权所有 闽ICP备20008127号-7
lyric 頭條新聞