240729.学习日志——《离散数学及其应用》学习总结

课程介绍

《离散数学及其应用》（本科教学第六版）黑书系列

电子科技大学-离散数学-中国大学MOOC-王丽杰主讲

离散数学是计算机科学的一门重要的基础数理学科，主要研究计算机科学中的离散结构，其中涉及微积分（集合等），线性代数（矩阵等），数据结构（图论，树等）等多门学科交叉内容，能够让学生了解计算机科学结构的应用场景，处理方式，组成结构，也能很好锻炼学生的离散思维逻辑。

课程目录

1.1 集合的初见

1.2 特殊集合与集合间关系

1.3 集合的远算

1.4 集合的运算定律

1.5 可数与不可数集合

2.1 什么是命题

2.2 命题联结词

2.3 命题符号化及其应用

2.4 命题公式和真值表

2.5 命题公式分类和等价

2.6 命题等价公式及应用

2.7 范式

2.8 主范式

2.9 命题蕴含公式

2.10 演绎法推理

3.1 谓词引入

3.2 量词引入

3.3 谓词符号化

3.4 谓词公式

3.5 自由变元和约束边缘

3.6 公式解释和分类

3.7 公式等价

3.8 前束范式

3.9 推理形式和推理规则

3.10 谓词综合推理

4.1 序偶和笛卡尔积

4.2 关系定义

4.3 关系的表示

4.4 关系的运算

4.5 关系的运算定律

4.6 关系的幂运算

4.7 关系的性质一

4.8 关系的性质二

4.9 关系的闭包

5.1 等价关系

5.2 集合的划分

5.3 偏序关系

5.4 哈斯图和特殊元素

5.5 其他次序关系

6.1 函数的定义

6.2 函数的类型

6.3 函数的运算

7.1.1 图的引入

7.1.2 图的表示

7.1.3 图的分类

7.1.4 子图和补图

7.1.5 握手定理

7.1.6 图的同构

7.2.1 通路和回路

7.2.2 可达性与最短通路

7.2.3 无向图的连通性

7.2.4 有向图得到连通性

8.1.1 认识树

8.1.2 无向树

8.1.3 生成树

8.1.4 最小生成树

8.2.1 根树

8.2.2 根树的遍历

8.2.3 最优树和哈夫曼算法

9.1 欧拉图

9.2 哈密顿图

9.3 偶图

9.4 平面图

课程总结

       这门课是我校计算机科班在第二学期开的课程，其重要性可见一斑，我作为CSDIY的一员，当然也不能落下学习，于是从上学期中段（刷完CCCS后）就开始刷离散数学视频了，但也只是入门了集合论的那一部分，到了假期，入手了黑书才又才刷起来，趁着回家前一股劲刷完了。

       回到课程，黑书该有的内容都有了，也很多扩展的知识，慕课视频讲的也挺有趣的（弹幕也很搞哈哈哈哈哈），给我一种有人陪着我学的感觉（虽然弹幕很多是外校期末土鸡的哈哈哈哈），但也是坚持看下来了，前面（集合之前学过）和后面（树和图两章刚刚在大话数据结构刷完）还是蛮轻松的，就是中间一些推理啊，范式啊还是需要一些脑子的，总结下来就是加深了对离散结构的认识，学习了很多新的名词，关于数据结构的知识也是趁热打铁又巩固了一遍，也学习了计算机的基本处理方式，并行啊，串行啊之类的，也是加深了我对计算机科学学习的热情吧！

碎碎念

        在回家的最后两天也是赶忙看完了，课程视频总时长在20h左右，没有练习题目，后续还是打算看一些复盘视频加以巩固，学习总时长在25h左右，课程涉及到的范围还是比较广的，基本上黑书教材上有的都讲到了，也算是增长了我的见识面吧（原来科班学习这么辛苦），很多时候都是在证明定理，证明引理，证明推论....（鼠鼠当然是跳过的）还是比较抽象的，也需要找很多例子加以辅助理解。

        事已至此，后续的计划我会实时加以更新，返校前的计划就到此结束，但我的暑假生活才刚刚开始，后面还是涉猎比较多的内容，待我娓娓道来。后面一两天主要就是复习一下刚刚学习的数据结构和离散数学，找找有没有复盘视频，或者往年的题目做一下，然后过两天回家之后，抓紧时间弄完Freshman项目杂七杂八的东西，后续大概就是三个板块了（数据结构夏令营、数学竞赛、STM32），总而言之，等我完成暑期大蜕变吧！