离散数学 万门大学

课件

第八讲-第三部分-代数系统-格与布尔代数.pdf 2.20M

第二讲-第一部分-数理逻辑-一阶谓词逻辑.pdf 9.01M

第九讲-第四部分-组合数学-基本的组合计数公式.pdf 6.06M

第六讲-第三部分-代数系统-代数系统.pdf 4.60M

第七讲-第三部分-代数系统-群与环.pdf 5.41M

第三讲-第二部分-集合论-集合代数.pdf 5.48M

第十二讲-第五部分-图论-欧拉图，哈密顿图.pdf 3.83M

第十讲-第四部分-组合数学-递推方程与生成函数.pdf 4.52M

第十三讲-第五部分-图论-树.pdf 2.34M

第十四讲-第五部分-图论-平面图.pdf 2.19M

第十五讲-第五部分-图论-支配集，覆盖集与独力集.pdf 2.47M

第十一讲-第五部分-图论-图的基本概念.pdf 3.74M

第四讲-第二部分-集合论-二元关系.pdf 13.27M

第五讲-第二部分-集合论-函数.pdf 3.60M

第一讲-第一部分-数理逻辑-命题逻辑.pdf 14.05M

视频

1.10命题公式的等值式（三）.mp4 285.27M

1.11等值演算与连接词完备集.mp4 59.13M

1.12析取范式与合取范式（一）.mp4 92.35M

1.13析取范式与合取范式（二）.mp4 72.45M

1.14析取范式与合取范式（三）.mp4 128.20M

1.15析取范式与合取范式（四）.mp4 120.45M

1.16析取范式与合取范式（五）.mp4 116.40M

1.17析取范式与合取范式（六）.mp4 150.16M

1.18析取范式与合取范式（七）.mp4 175.12M

1.19推理的形式结构（一）.mp4 111.91M

1.1讲师和课程介绍.mp4 71.90M

1.20推理的形式结构（二）.mp4 142.62M

1.21自然推理系统P（一）.mp4 149.36M

1.22自然推理系统P（二）.mp4 168.15M

1.2命题逻辑和命题连接词（一）.mp4 127.22M

1.3命题逻辑和命题连接词（二）.mp4 142.12M

1.4命题逻辑和命题连接词（三）.mp4 134.34M

1.5命题逻辑和命题连接词（四）.mp4 133.86M

1.6命题公式及其赋值（一）.mp4 137.16M

1.7命题公式及其赋值（二）.mp4 130.29M

1.8命题公式的等值式（一）.mp4 135.14M

1.9命题公式的等值式（二）.mp4 140.63M

10.1递推方程的定义及实例.mp4 111.61M

10.2递推方程的解法（一）.mp4 112.08M

10.3递推方程的解法（二）.mp4 81.39M

10.4生成函数及其应用（一）.mp4 101.62M

10.5生成函数及其应用（二）.mp4 116.95M

10.6指数生成函数及其应用.mp4 61.60M

11.1图（一）.mp4 148.08M

11.2图（二）.mp4 155.25M

11.3通路与回路.mp4 126.07M

11.4图的连通性（一）.mp4 122.66M

11.5图的连通性（二）.mp4 115.47M

11.6图的矩阵表示及有向图的关联矩阵.mp4 131.65M

11.7实例.mp4 98.20M

12.1预备知识.mp4 140.37M

12.2欧拉图的定义，实例及案例.mp4 133.14M

12.3哈密顿图（一）.mp4 129.19M

12.4哈密顿图（二）.mp4 154.80M

12.5最短路问题和货郎单问题.mp4 152.34M

13.1无向树（一）.mp4 89.95M

13.2无向树（二）.mp4 91.83M

13.3生成树（一）.mp4 117.75M

13.4生成树（二）.mp4 134.72M

13.5根树及其应用.mp4 74.51M

14.1平面图的基本概念（一）.mp4 137.74M

14.2平面图的基本概念（二）.mp4 102.17M

14.3欧拉图及平面图的判定定理.mp4 121.16M

14.4平面图的对偶图.mp4 75.42M

15.1支配集.mp4 154.54M

15.2独力集与独立数.mp4 46.55M

15.3覆盖集与匹配.mp4 80.84M

15.4匹配中的概念和定理（一）.mp4 105.51M

15.5匹配中的概念和定理（二）.mp4 115.21M

15.6着色.mp4 104.29M

2.10一阶逻辑前束范式（二）.mp4 126.11M

2.11一阶逻辑的推理理论（一）.mp4 126.73M

2.12一阶逻辑的推理理论（二）.mp4 71.14M

2.13一阶逻辑的推理理论（三）.mp4 118.06M

2.14一阶逻辑的推理理论（四）.mp4 164.75M

2.1一阶逻辑命题符号化（一）.mp4 136.50M

2.2一阶逻辑命题符号化（二）.mp4 120.37M

2.3一阶逻辑命题符号化（三）.mp4 147.01M

2.4一阶逻辑公式及解释（一）.mp4 113.50M

2.5一阶逻辑公式及解释（二）.mp4 113.84M

2.6一阶逻辑公式及解释（三）.mp4 125.10M

2.7一阶逻辑等值式与置换规则（一）.mp4 99.87M

2.8一阶逻辑等值式与置换规则（二）.mp4 92.46M

2.9一阶逻辑前束范式（一）.mp4 50.23M

3.1集合的基本概念（一）.mp4 127.08M

3.2集合的基本概念（二）.mp4 143.97M

3.3集合的基本概念（三）.mp4 122.85M

3.4集合的运算（一）.mp4 129.64M

3.5集合的运算（二）.mp4 88.00M

3.6集合恒等式.mp4 139.75M

4.10关系的闭包（一）.mp4 134.93M

4.11关系的闭包（二）.mp4 108.44M

4.12等价关系与划分（一）.mp4 112.20M

4.13等价关系与划分（二）.mp4 110.37M

4.14偏序关系（一）.mp4 149.59M

4.15偏序关系（二）.mp4 152.89M

4.16偏序关系（三）.mp4 107.15M

4.1有序对笛卡尔积（一）.mp4 110.87M

4.2有序对笛卡尔积（二）.mp4 117.54M

4.3二元关系（一）.mp4 116.14M

4.4二元关系（二）.mp4 100.47M

4.5关系的运算（一）.mp4 123.42M

4.6关系的运算（二）.mp4 113.21M

4.7关系的运算（三）.mp4 127.62M

4.8关系的性质（一）.mp4 137.08M

4.9关系的性质（二）.mp4 115.73M

5.1函数的定义与性质（一）.mp4 107.64M

5.2函数的定义与性质（二）.mp4 138.26M

5.3函数的定义与性质（三）.mp4 84.70M

5.4函数的复合与反函数以及总结.mp4 71.61M

6.1二元运算及其性质（一）.mp4 137.13M

6.2二元运算及其性质（二）.mp4 116.08M

6.3二元运算及其性质（三）.mp4 146.00M

6.4代数系统.mp4 112.78M

6.5代数系统的同构与同态（一）.mp4 127.77M

6.6代数系统的同构与同态（二）.mp4 94.29M

6.7代数系统的同构与同态（三）.mp4 165.18M

7.1群的定义与性质（一）.mp4 119.34M

7.2群的定义与性质（二）.mp4 95.02M

7.3群的定义与性质（三）.mp4 117.72M

7.4子群与群的陪集分解（一）.mp4 147.44M

7.5子群与群的陪集分解（二）.mp4 97.56M

7.6子群与群的陪集分解（三）.mp4 135.00M

7.7环与域.mp4 153.29M

7.8讲练结合（一）.mp4 133.69M

7.9讲练结合（二）.mp4 162.12M

8.1格的定义及性质（一）.mp4 107.02M

8.2格的定义及性质（二）.mp4 71.83M

8.3分配格，有补格与布尔代数式（一）.mp4 128.39M

8.4分配格，有补格与布尔代数式（二）.mp4 90.18M

8.5本讲总结及讲练结合.mp4 59.00M

9.1加法法则与乘法法则（一）.mp4 132.76M

9.2加法法则与乘法法则（二）.mp4 89.10M

9.3排列与组合（一）.mp4 134.29M

9.4排列与组合（二）.mp4 163.91M

9.5二项式定理与组合恒等式（一）.mp4 137.87M

9.6二项式定理与组合恒等式（二）.mp4 137.11M

9.7二项式定理与组合恒等式（三）.mp4 150.62M

9.8多项式定理.mp4 149.43M