离散试卷.docVIP

上海海洋大学试卷 学年学期 20 08 ~ 20 09 学年第 2 学期 考核方式 闭卷 课程名称 离散数学 A/B卷 （ A ）卷 课程号 1108104 学分 3 学时 48 题号 一 二 三 四 五 六 七 八 九 十 总分 分数 阅卷人 姓名： 学号： 专业班名： 一 填空题（每空3分，共30分） 1.命题公式是 （矛盾式，重言式，可满足式） 2.令是人, 喜欢吃馒头, 喜欢吃米饭。命题“虽然有人不喜欢吃馒头，但也不是所有人都喜欢吃米饭”的符号化形式为 。 3．设解释I为：为2个1元谓词，且。在解释I下，公式的真值为 。 4．已知集合，则= ； 从集合A到集合有 个不同的函数， 个不同的满射。 （注：为集合B的幂集） 5．（1）欧拉图中没有桥、（2）哈密顿图中没有桥和割点、（3）无向完全图都是欧拉图和哈密顿图、（4）二部图中没有奇数长度的回路。