A.离散数学作业.pdf

离散数学 Discrete Mathematics 离散数学作业 张晓西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 作业要求 每人准备两个作业本，３次不交作业不能参 加考试，作业成绩基本要占最后总评分数 20%。 准备两个本子（基本每次课都有作业，写上 班级、学号、姓名）并按照学号将作业分为 3组学号后4位除以3的余数0A 1B 2C 不用抄题，但应该写清：页码、题号。 每次上课前、收齐放到讲台上；上课后不能 再交作业。 收上来的作业，下课后由课 程代表/班长送到批作业老师处。 2011-1-10 离散数学 2 第一章数理逻辑(1/3) 1.1 命题 1.(1)(3) 2.(1) 3(1)(3) 4(1)(3) 5.(1)(3) 6.(1)(3) 7 1.2 重言式 1(1)(3)(5)(7) 2.(1)(3)(5) 3.(1)(3) 4.(1)(3) 5.(1) 6.(1) 7.(1) 8.(1)(3) 1.3 范式 2.(1)(3) 3.(1)(3) 1.4 连接词的连接与规约 1 2011-1-10 离散数学 3 第一章数理逻辑(2/3) 1.5 推理规则和证明方法 1.(1)(4) 2.(1) 3.(1)(3) 4.(1) 5.(1)(3) 6.(1) 7 8.(1)(3) 9.(1) 10 11.(1)(3) 12.(1)(3) 14.(1) 15.(1) 1.6 谓词和量词 1.(1) 2.(1) 3.(1)(3) 4.(1)(3) 5.(1) 6.(1)(3) 7.(1) 9.(1)(3) 10 11.(1)(3)(5)(7) 12.(1)(3) 13.(1)(3) 14 15.(1)(3)(5)(7) 17.(1) 18.(1) 2011-1-10 离散数学 4 第一章数理逻辑(3/3) 1.7 谓词演算的永真公式 2.(1)(3) 3 4.(1) 5.(1)(3) 1.8 谓词演算的推理规则 1.(1)(3) 2.(1) 3.(1)(2)(3)(4)(5) 4.(1) 5 6.(1) 7 9 2011-1-10 离散数学 5 第二章集合 2.1 集合论的基本概念 7.(1) 9 14.(1) 2.2 集合上的运算 3.(1) 4.(1)(i)(ii)(2)(i) 7 9.(1) 11.(1) 20.(1) 2.3归纳法和自然数 1.(1)(2)(3)(4) 8 9(1) 2.5 集合的笛卡尔乘积 1.(1) 2.(1) 3 4 3.1 1.(2) 2011-1-10 离散数学 6 第三章二元关系 3.1 基本概念 2.(1)(4)(5) 3.(1)(3 .(1) 5 6.(1) 7.(1) 8.(1)(3)(5) 11.(1)(3) 12 14.(1) 3.2 关系的合成 1 3 4 5 6 7 8.(1)(3) 9.(1) 10 3.3 关系上的闭包运算 1 2 3 4 6 7 9.(2) 10.(1) 14 15 16 3.4 次序关系 1.(1)(2