上海海洋大学试卷。
姓名学号专业班名。
一、选择填空题（每空3分，共30分）
1、下列公式中，哪个是永真式（ ）
a b c d
2、命题公式的成假赋值为主析取范式为。
3、将命题“有的人用左手写字”谓词符号化。
4、公式的前束范式为。
5、设集合a=，b= ,则。
6、集合上的关系，则r的性质为（ ）
a.自反的 b. 对称的 c.对称的、传递的 d.反自反的、传递的。
7、设a=,b=,则从a到b能构成个不同的函数。
阶无向完全图的边的条数。
9、设无向树有2个2度顶点，1个3度顶点，3个4度结点，其余都是树叶，则其有片树叶。
二、（8分）求公式的主析取范式和主合取范式。
三、（8分）在自然推理系统中，构造并证明下列推理。（命题逻辑推理证明）
如果小王是理科生，则他的数学成绩一定很好。如果小王不是文科生，则他一定是理科生。小王的数学成绩不好。所以，小王是文科生。
四、设集合，r为a上的二元关系，且，1）求r的关系矩阵；（3分）
2）求r的性质；（3分）
3）求r的自反闭包r（r），对称闭包s（r），传递闭包t（r）（9分） 。
五、（10分）设集合， r为a上的整除关系，则r为偏序关系。（1）求该关系的哈斯图；
2）令，求b的最大元、最小元、极大元、极小元。
六、（6分）设集合，r为a上的等价关系，1）求商集；
2）求自然映射。
七、（8分）写出哈密顿图的定义，并画一个哈密顿图。（图中至少含有5个结点，2条回路）
八、（9分）已知无向赋权图g=,（1）该图是否为欧拉图，如果不是，请说明理由，如果是，请给出一条欧拉回路；
（2）求从到的最短路径。
九、（6分）画一棵权为3，4，5，6，7，8，9的最优二元树t，并求t对应的二元前缀码。
离散数学B 2019离散数学A卷 郑州轻工业学院
c 既是自由变元，又是约束变元 d 既不是自由变元，又不是约束变。5 由huffman算法求出的带权为 的最优树的权为。a 75 b 80 c 83 d 87。二 判断题，对的写 t 错的写 f 每小题2分，共10分 1 群中仅有惟一的单位元。2 命题公式是可满足式。3 不是命题。4 无向图是二部图...
10离散数学b卷
上海海洋大学试卷。姓名学号专业班名。一 选择题 每小题3分，共18分 将答案填写到下面的 里。1 下列选项错误的是 a b c d 2 设，则为 a b c d 3 在自然数集n上，下列 个不是二元运算。a b c d 4 下列公式中，哪个是永真式 a b c d 5 下列各式不正确的是。a b c...
03离散数学B卷
卷号 b 湖北工业大学。二oo四 二oo五学年第二学期期末考试。离散数学试题。03级信计专业用 注意 学号 姓名和所在年级班级不写 不写全或写在密封线外者，试卷作废。一 填空题 每小题2分，共10小题，满分20分 1 已知p的真值为1，q，r的真值为0，则命题的真值为。2 谓词公式的前束范式为。3 ...