本课程《计算机数学》系统讲解计算机科学所需的数学基础，涵盖矩阵运算、命题逻辑、集合论、二元关系与图论五大核心模块。课程从矩阵定义与运算出发，深入逻辑联结词与推理，进而探讨集合关系与计数，最后延伸至图的结构、连通性及树的应用，旨在构建支撑算法、数据结构与离散数学理解的坚实理论基础。

视频课程目录：
第一周 矩阵知识（一）
第二周 矩阵知识（二）
第三周 命题逻辑（一）
第四周 命题逻辑（二）
第五周 命题逻辑（三）
第六周 集合论基础
第七周 二元关系
第八周 图论（一）
第九周 图论（二）
第十周 图论（三）




├─{01}--第一周矩阵知识（一）
│ (1.2)--2几种特殊的矩阵t.pdf
│ (1.3)--3矩阵的加法与数乘t.pdf
│ (1.4)--4矩阵的乘法t.pdf
│ [1.1]--矩阵的定义.mp4
│ [1.2]--几种特殊的矩阵.mp4
│ [1.3]--矩阵的加法与数乘.mp4
│ [1.4]--矩阵的乘法.mp4
│
├─{02}--第二周矩阵知识（二）
│ (2.4)--8布尔矩阵t.pdf
│ [2.1]--矩阵乘法运算的性质.mp4
│ [2.2]--矩阵的幂.mp4
│ [2.3]--矩阵的转置.mp4
│ [2.4]--布尔矩阵.mp4
│
├─{03}--第三周命题逻辑（一）
│ │ (3.4)--命题公式与分类t.pdf
│ │ [3.1]--数理逻辑简介.mp4
│ │ [3.2]--命题的概念.mp4
│ │ [3.4]--命题公式与分类.mp4
│ │
│ └─{03}--逻辑联结词
│ (3.3.1)--逻辑联结词-否定t.pdf
│ (3.3.2)--逻辑连接词-合取t.pdf
│ (3.3.3)--逻辑联结词-析取t.pdf
│ (3.3.4)--逻辑联结词-蕴涵t.pdf
│ (3.3.5)--逻辑联结词-等价t.pdf
│ (3.3.6)--逻辑联结词-运算规则t.pdf
│ [3.3.1]--逻辑联结词-否定.mp4
│ [3.3.2]--逻辑联结词-合取.mp4
│ [3.3.3]--逻辑联结词-析取.mp4
│ [3.3.4]--逻辑联结词-蕴涵.mp4
│ [3.3.5]--逻辑联结词-等价.mp4
│ [3.3.6]--逻辑联结词-运算规则.mp4
│
├─{04}--第四周命题逻辑（二）
│ (4.1)--公式等值t.pdf
│ (4.2)--基本等值式t.pdf
│ [4.1]--等值公式.mp4
│ [4.2]--基本等值式.mp4
│ [4.3]--等值演算(1).mp4
│ [4.4]--联结词的完备集.mp4
│ [4.5]--范式.mp4
│
├─{05}--第五周命题逻辑（三）
│ [5.1]--主范式.mp4
│ [5.2]--真值表法求主范式.mp4
│ [5.3]--公式演算法求主范式.mp4
│ [5.4]--推理的形式结构.mp4
│ [5.5]--推理的构造证明法.mp4
│
├─{06}--第六周集合论基础
│ (6.2)--2集合的概念与表示t.pdf
│ (6.3)--3集合的关系t.pdf
│ (6.4)--4集合的基本运算t.pdf
│ (6.5)--5有限集的计数t.pdf
│ [6.1]--集合论简介.mp4
│ [6.2]--集合的概念与表示.mp4
│ [6.3]--集合的关系.mp4
│ [6.4]--集合的基本运算.mp4
│ [6.5]--有限集的计数.mp4
│
├─{07}--第七周二元关系
│ (7.1)--6有序对与笛卡尔积t.pdf
│ (7.2)--7二元关系的定义t.pdf
│ [7.1]--有序对与笛卡尔积.mp4
│ [7.2]--二元关系的定义.mp4
│ [7.3]--二元关系的表示.mp4
│ [7.4]--二元关系的性质.mp4
│ [7.5]--二元关系的基本运算.mp4
│
├─{08}--第八周图论（一）
│ [8.1]--图论简介.mp4
│ [8.2]--图的基本概念.mp4
│ [8.3]--图的表示.mp4
│ [8.4]--特殊的图.mp4
│ [8.5]--结点的度.mp4
│
├─{09}--第九周图论（二）
│ [9.1]--通路与回路的概念.mp4
│ [9.2]--通路与回路条数的计算.mp4
│ [9.3]--图的可达性与距离.mp4
│ [9.4]--图的连通性.mp4
│ [9.5]--欧拉图.mp4
│ [9.6]--汉密尔顿图.mp4
│
└─{10}--第十周图论（三）
[10.1]--树的基本概念.mp4
[10.2]--最小生成树.mp4
[10.3]--有向树的基本概念.mp4
[10.4]--树的遍历.mp4
[10.5]--最优树.mp4
[10.6]--前缀码问题.mp4