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

（17级老学姐回忆离散考题

试卷构成：

总共十个大题，每道10分，无选择、填空之类的全是证明和计算

数理逻辑40分 4道大题

集合、二元关系30分 3道大题（包含一道英文题目：第六题

图论30分 3道大题（包含一道英文题目：第八题

下面开始敲黑板了：

第一题：关于系统规范证明，让你将它所给的四个命题先符号化，用PQRS之类的符号表示出来，然后分析或者论证这些系统规范说明在什么条件下是全部正确的

第二题：关于永真式永假式，给了两个式子，让你判断是永真式永假式，并证明

第三题：关于谓词逻辑

第四题：关于谓词逻辑

第五题：证明集合相等（用证明互为子集的办法？？

第六题：英文：给出了一个R关系的有向图，然后（没怎么看懂题其实）单词忘啦好像是try to draw disgram:

              r（R）.s（R）.t（R）

第七题：关于单射、满射的证明

第八题：英文：证明那个上课老师讲过的一个式子

第九题：证明：顶点数-边数+面数=连通分支数+1

第十题：一棵树有n2个度数为2的结点、n3个度数为3的结点。。。。。nk个度数为k的结点,其余顶点度数都为1。问：度数为1的结点有几个？

第一题类似题目：

第三和四题类似题目：（对应图中四五题）

第七题类似题目：（图片中第四个题）

（图片中第四个题答案）

第八题原题：

第十题类似题目：