开发工具:
文件大小: 14mb
下载次数: 0
上传时间: 2020-06-21
详细说明：1. 什么是形式化方法？
2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。）
3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？
第2章
1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句）
什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。）
什么是命题演算？（用来计算命题的真假） 什么是命题公式的解释？（一个公式里有若干个命题变元，每组命题的真或假进行赋值，解释的个数2的n次方） 2. 什么是真值表？ 3. 什么是谓词？
什么是谓词公式？ 什么是谓词演算？ 4. 什么是证明？什么是定理？
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
