10普本离散试题b(_48_).docVIP

南通大学2010—2011学年第一学期 离散数学（闭卷）试卷(B)第1页 共4页 试题 一 二 三 四 五 六 总 分 2、（5分）设R是A＝{a,b,c,d,e}上的二元关系， 求关系矩阵并画出关系图；若R是等价关系，则求出等价类。 3、（4分）指出公式的自由变元和约束变元，并指出量词的辖域。 得分 得分 评卷人 一、填空（每空3分，共30分） 1、设A={a，b，c},则P（A）= ______________； 2、设无向树T中有7片树叶，3个3度顶点，其余都是4度顶点，T中有4度顶点的个数为___________； 3、函数； 4、设E＝{a,b,c},F={1,2},则， =_______________________________ ； 5、集合E={a,b,c,d,e,f,g}, 子集A={a,b,d,e}, B={c,d,f,g}, C={c,e}, 集合 6、对于全集E的子集的交“”运算，零元及单位元分别为_______________； 7、用量词和谓词将命题“存在偶素数”（设：E（x）：x是偶数，F（x）：x是素数）符号化为_____________________。 得分 评卷人 二、（第1,3,4小题各4分，其它每小题5分，共22分） 1、（4分）设A={1，2，3，4}, A上关系R={ (1,2), (2,3), (3,1) },S＝{ (2，1), (1，1), (3，4), ( 4，3) }，求,, 使用班级 网络工程091－092，计091－094，软件工程091－092，计师091，计091-2，计强091，医学信息091 出卷日期 2010年12 月 2日 南通大学 2010—2011 学年第一学期 离散数学（闭卷）试卷(B) 第2页 共4页 4、（4分）设个体域D={a,b,c},消去公式中的量词。 5、（5分）求公式的主析取范式与主合取范式。 得分 评卷人 三、（每小题4分共24分） 1、（4分）判断下图是否是欧拉图或半欧拉图，并说明理由。 2、（4分）求下面有向图的所有强分图、单向分图和弱分图。 3、（4分）求下图的邻接矩阵。 南通大学 2010—2011 学年第一学期 离散数学（闭卷）试卷(B) 第3页 共4页 4（4分） 求下图所示的带权图的最小生成树，并求它的权。 5、（4分）求出对应于下图所给森林的二元位置树 6、（4分）画出下面偏序集的哈斯图： 其中是集合上的数之间的整除关系。 得分 评卷人 四、（第4小题为4分,其它每小题各5分，共24分） 1、（5分）用等值演算证明等值式：  南通大学 2010—2011 学年第一学期 离散数学（闭卷）试卷(B) 第4页 共4页 2、（5分）用基本等值公式证明： 3、(5分)在正有理数集上定义二元运算为，证明是群。 4、（4分）设为， 证明的同构映射。 5、（5分）设R是A上的一个二元关系，。证明：若R是A上的等价关系，则S也是A上的等价关系。  ----------------------------精品word文档 值得下载 值得拥有---------------------------------------------- ----------------------------精品word文档 值得下载 值得拥有---------------------------------------------- ----------------------------------------------------------------------------------------------------------------------------- ————————— 密 ———————————— 封 —————————— 线 ———————— ···················装·····················订·························线················ 密 封 线 内 答 题 无 效 学院：