文件名称：离散数学课件 网易云课堂
文件大小：15.12MB
文件格式：RAR
更新时间：2018-08-17 12:33:44
离散数学 公开课
这是网易云课堂MOOC离散数学基础的大纲文档，拿来免费分享。
【文件预览】：
云课堂MOOC-离散数学
----3-1 命题逻辑的自然演绎系统-1.pdf(259KB)
----10-2 集合的基数.pdf(343KB)
----12-2 道路与回路.pdf(375KB)
----4-2 谓词逻辑的自然语言形式化.pdf(272KB)
----2-3 命题逻辑公式的范式和主范式.pdf(326KB)
----1-1 绪言.pdf(255KB)
----8-1 关系的运算-1.pdf(336KB)
----15-1 二元树与Huffman树.pdf(698KB)
----4-3 基本的谓词等值式.pdf(286KB)
----17-1 平面图.pdf(616KB)
----1-4 命题的概念及符号化.pdf(238KB)
----4-1 谓词逻辑的基本概念.pdf(272KB)
----10-3 有穷布尔代数.pdf(323KB)
----7-2 关系的性质.pdf(302KB)
----1-6 自然语言形式化.pdf(254KB)
----2-4 命题逻辑的推理结构.pdf(259KB)
----9-2 格.pdf(403KB)
----10-1 函数的概念.pdf(377KB)
----15-2 树与图的遍历.pdf(418KB)
----8-2 关系的运算-2.pdf(291KB)
----3-2 命题逻辑的自然演绎系统-2.pdf(290KB)
----18-1 图的染色.pdf(646KB)
----5-3 谓词逻辑的归结反演.pdf(322KB)
----19-1 图的匹配理论.pdf(495KB)
----16-2 作业网络和关键路径.pdf(556KB)
----12-1 图的基本定义.pdf(538KB)
----14-1 图的邻接矩阵、道路矩阵及Warshall算法.pdf(426KB)
----14-3 图的关联矩阵及生成树数目.pdf(367KB)
----6-2 集合的蕴含与相等.pdf(226KB)
----6-1 集合与元素.pdf(372KB)
----1-5 命题的合式公式.pdf(247KB)
----2-1 命题逻辑公式的等值置换.pdf(255KB)
----2-2 命题逻辑公式的对偶.pdf(198KB)
----1-7 命题逻辑等值式.pdf(255KB)
----9-1 偏序关系.pdf(395KB)
----1-3 数理逻辑回顾.pdf(268KB)
----16-1 最短路径问题.pdf(593KB)
----5-2 谓词逻辑的归结推理.pdf(323KB)
----7-1 关系的定义.pdf(302KB)
----16-4 最小生成树.pdf(481KB)
----16-3 TSP问题的近似解.pdf(346KB)
----5-1 谓词逻辑的推理结构.pdf(286KB)
----3-3 命题逻辑的归结推理方法.pdf(264KB)
----6-3 集合的基本运算.pdf(277KB)
----14-2 树的基本概念.pdf(393KB)
----1-2 逻辑学概述.pdf(283KB)