HNU离散数学2023期中考试原题及答案

一个月前考完的离散数学期中考试，这几天又手搓了一遍，成果如下，仅供参考！

【试卷难度评价】

试卷不算太难，但是坑比较多；有些题目不同方法可能导致做题速度会有些差异。而且要想每题过程都写规范，时间还是比较紧张的。

【试卷原题及答案】

第一题

程序跑出来结果：

 

       这题可以用等值演算也可以用真值表，因为等值演算比较繁琐，而这里只有四个变元，所以我建议考试时最好使用真值表，可以节约好多时间。但是真值表中变元顺序要严格按照二进制数的顺序来写，不然没分。（考完试后我发现我和其他好多同学都因为没看完题，惯性思维以为只能用等值演算，然后等值演算写到底才发现能用真值表，浪费了好多时间。所以各位uu下次考试时第一题记得要读完题再写！！！）

第二题

 

 基本的假言推理题（记得每一步都要写理由）

第三题

 

 题目与第三题一样，不过要求用消解法证明

第四题

 基础的推理证明题

第五题 

 往年没有考过的前束范式，因此在考场上遇到时好多同学都忘了咋做了。先改名，再去->和<->符号，最后量词左移。

第六题 

 基本的包含排斥原理题，要注意的是10是包含在集合内的，所以相减时要减9/x而不是10/x

第七题 

编程实现结果如下：

 

 考察用warshall算法求传递闭包，近两年考法都是如此

第八题 

 比较坑的一道题，考察偏序关系，但是同时考察了程序设计里的“子串”的概念，许多同学把子串误认为是子序列，导致整题分都没了（我就是QAQ）。子串和子序列区别如下：

 这里的偏序关系应该要浅浅证明一下，哈斯图的画法一定要熟练。因为哈斯图不是一条直线，所以不是全序关系。

PS：2022年离散数学期中试卷链接如下(梅神做的orz)：

https://blog.csdn.net/qq_39480177/article/details/124432999