SDU软件17级大一下离散期末真题（回忆版）

（17级老学姐回忆离散考题 试卷构成： 总共十个大题，每道10分，无选择、填空之类的全是证明和计算 数理逻辑40分 4道大题 集合、二元关系30分 3道大题（包含一道英文题目：第六题 图论30分 3道大题（包含一道英文题目：第八题   下面开始敲黑板了： 第一题：关于系统规范证明，让你将它所给的四个命题先符号化，用PQRS之类的符号表示出来，然后分析或者论证这些系统规范说明在什么条件下是全部正确的

>>阅读原文<<