软件工程的形式化方法考查试题，软件形式规格说明语言z，期末考试试题

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