离散题A(计算机上).docVIP

湖南科技大学考试试题纸（ A 卷） (2007 -200 8 学年第 1 学期) 离散数学 课程 数学与计算科学学院 院（系） 计算机，网络 班级 考试时量 100分钟 学生人数 命题教师 李世群 系主任 交题时间： 07 年 12 月24 日 考试时间： 年 月 日 判断题（每小题分，共分） 2、 3、实数集上数的大小关系是全序关系。 4 、集合Ａ上的二元关系Ｒ若是对称的，则必不是反对称的。 5、 6.的对偶式是 7、可以改名为 8、A={1,2,3，4}, A上的关系R={1,1, , 4,3，2,2,}是函数。 二、填空题（每小题分，共分），公式在以上解释下的真值为___ 5、 6、自然数集N上的整除关系 是——关系（填偏序或等价） 7、设，其幂集。 8、，则。 9.设A, B是含命题变项p,q,r的命题公式,已知:A的成真赋值为000, 011, 110, 111; B的成真赋值为000, 101, 110;则的成真赋值为 __________ 10．设A={1,2,3，4}, A上的置换，则 三、（每小题分，共分）分((xG(x) ∨(xH(x)的前束范式。 （8分分分为A上的关系， 用列举法列出R的全部元素；（5分） 画出R的哈斯图；（5分） (3) 求R的关系矩阵。（5分） （4）求子集B={2，3，6}的最大元，最小元，极大元，极小元，上界，上确界。（5分） 五、（每小题分，共分） 前提：(x(F(x)( G(x)), (x F(X)； 结论：(xG(x)。 2. 设A是集合，证明 注：请打印或用炭素墨水书写、字迹要求工整、并抄写在方框线内 共 页， 第 页， 湖南科技大学潇湘学院考试试题纸（ A 卷） (200 -200 学年第 学期) 离散数学 课程 计算机，网络工程， 专业 班级 考试时量 100分钟 学生人数 命题教师 李世群 系主任 交题时间：07 年 12 月24 日 考试时间： 年 月 日 判断题（每小题分，共分） 2、 3、实数集上数的大小关系是全序关系。 4 、集合Ａ上的二元关系Ｒ若是对称的，则必不是反对称的。 5、 6.的对偶式是 7、可以改名为 8、A={1,2,3，4}, A上的关系R={1,1, , 4,3，2,2,}是函数。 二、填空题（每小题分，共分）为：，公式在以上解释下的真值为___ 5、 6、自然数集N上的整除关系 是——关系（填偏序或等价） 7、设，其幂集 8、，则 9.设A, B是含命题变项p,q,r的命题公式,已知:A的成真赋值为000, 011, 110, 111; B的成真赋值为000, 101, 110;则的成真赋值为 __________ 10．设A={1,2,3，4}, A上的置换，则 三、（每小题分，共分）((xG(x) ∨(xH(x)的前束范式。 3．将命题“每个人都要吃饭”在一阶逻辑中符号化。 四.（15分） 设集合A={1,2,3,4,5,6}，R为A上的整除关系， 列举法列出R的全部元素；（5分） 画出R的哈斯图；（5分） （3） 求R的关系矩阵。（5分） 五、（分，共分） 前提：(x(F(x)( G(x)), (x F(X)； 结论：(xG(x)。 2. 设A是集合，证明 注：请用炭素墨水书写、字迹要求工整、并抄写在方框线内 共 页， 第 页， 湖南科技大学考试试题参考答案及评分细则 （200 -200 学年第 学期） 课程（A卷） 院（系） 班级 应试学生人数 实际考试学生人数 考试时量 100分钟 命题教师 审核人： 考试时间： 年 月 日 一.判断题（每小题分，共分