首页课程中心离散数学 → 课程通知

离散数学

学生周知

more »
  • 2017年创新创业训练计划选题通知

联系我们

more »
  • 网络通信与数据库技术实验室
  • 电话:0411-62274392
  • 地址:大连市经济技术开发区图强街321号 大连理工大学软件学院
  • 邮编:116620
  • E-mail:ubinec@163.com

课程通知

课程通知提供每节课的内容提纲、作业要求等信息,以便同学们合理安排学习计划,完成课程作业。

  • 课程内容提纲

**注:灰色部分非本学期安排,内容仅供参考

周次节次课程内容课程作业
第1周

周一(02.27)

1.1 概述;1.2 命题与逻辑联结词

P26: 1, 2, 3, 4(1)(3), 6(2)(4), 9

周三(03.01)

1.3 永真式和等价式;1.4 重言式和永真蕴含式P22: 10, 11(1)(4)(5), 12, 附加题
第2周

周一(03.06)

1.5 对偶原理;1.6 范式和判定问题P23: 16, 17(1)(3), 18(2)(4)

周三(03.08)

1.7 命题演算的推理理论P23, P24: 19, 20, 22, 23(1, 2, 4, 5), 24(1, 3), 上机作业
第3周

周一(03.13)

2.1 谓词演算(基本概念和表示;谓词逻辑的翻译与解释;等价式与蕴含式)

P39: 1, 2

周三(03.15)

2.2 谓词逻辑中的推理规则;P48: 3, 4(1, 3), 5, 6(1), 8, 9(1)
第4周

周一(03.20)

2.3 谓词公式的范式 ;
P49: 10(1, 2), 11(2)

周三(03.22)

3.1 集合的概念及表示;P62: 1(1, 3, 5), 2(2, 4), 3, 4(4, 5), 5, 6(3), 7(3), 8(3), 9
第5周

周一(03.27)

3.2 集合的运算 ;
P63: 10, 11, 14(2), 15, 16(1, 3), 17(2, 4), 18(1, 3, 5, 7, 9), 19, 20(2, 4, 6, 8, 10), 21-24

周三(03.29)

4.1 多重序元与笛卡尔乘积 ;P102: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
第6周

周一(04.03)

4.2 关系的基本概念P103: 11-21

周三(04.05)

4.3 关系的运算(一)P103: 22-30
第7周

周一(04.10)

4.4 关系的运算(二);4.5 特殊关系(一)P105: 31, 33, 35, 37, 38, 41

周三(04.12)

4.5 特殊关系(二)P106: 44, 46, 47, 50
第8周

周一(04.17)

5.1 函数的基本概念和性质;5.2 函数的合成 5.3 特殊函数 P124: 3-7, 8(2, 4, 6, 8, 10), 9

周三(04.19)

5.4 反函数;5.5 特征函数;5.6 基数P126: 11-14, 17(2, 4)
第9周

周一(11.7)

6.1 代数系统的定义;6.2 代数系统的基本性质;

周三(11.9)

6.3 同态与同构

第10周

周一(11.14)

6.4 同余关系;6.5 商代数;6.6 积代数
P151: 14, 15,16

周三(11.16)

7.1 半群和独异点P174: 2, 3, 5, 6
第11周周一(11.16)*习题课,请大家带上作业。
周三(11.18)7.1 半群和独异点


第12周周一(11.23)7.2 群的概念与性质;7.3 子群与群的陪集分解(一)

周三(11.26)7.3 子群与群的陪集分解(二);7.4 循环群与置换群;7.5 群的同态与同构
第13周周一(11.30)7.6 环与域;7.7 应用:群与网络安全;8 格与布尔代数
周三(12.2)9.1 图的基本概念;9.2 子图和图的运算
第14周周一(12.7)9.3 路径、回路和连通性
周三(12.11)9.4 图的矩阵表示



  • 作业中常见问题归纳

  • blob

  • blob

  • blob

  • blob

  • blob

  • blob

  • blob