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