（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的结点有几个？
第一题类似题目：
第三和四题类似题目：（对应图中四五题）
第七题类似题目：（图片中第四个题）
（图片中第四个题答案）
第八题原题：
第十题类似题目：