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