1. 什么是形式化方法?
2. 软件形式化有什么优点?(一个是精确,另一个是可验证的。)
3. 什么是Z语言?(软件的形式规格说明语言,基于数学的一种表示,用于规格说明) 4. 软件规格说明有哪两种抽象?(数据抽象,过程抽象, 以及分别是什么) 5. 除了Z语言,你知道还有哪些其他的形式规格说明语言?
第2章
1. 什么是命题?(都是简单的问题,命题是可分辨真假的陈述句)
什么是命题公式?(用常用的5个连接词讲命题连接起来,组合起来。简单的来说就是这样,书上有现成的答案。)
什么是命题演算?(用来计算命题的真假) 什么是命题公式的解释?(一个公式里有若干个命题变元,每组命题的真或假进行赋值,解释的个数2的n次方) 2. 什么是真值表? 3. 什么是谓词?
什么是谓词公式? 什么是谓词演算? 4. 什么是证明?什么是定理?
2021-08-09 22:58:05
14.9MB
教材
1