【清华大学计算机系】离散数学与算法基础 | 学堂在线国家级精品课

Angelina

├─{1}--第1章 命题逻辑的基本概念
│      [1.1]--1.1 命题逻辑的基本概念.mp4
│      [1.2]--1.2 重言式与代入规则.mp4
│      [1.3]--1.3 命题形式化.mp4
│      [1.4]--1.4 波兰表达式.mp4
│      
├─{2}--第2章 命题逻辑的等值和推理演算
│      [2.10]--2.10 归结推理.mp4
│      [2.1]--2.1 等值定理.mp4
│      [2.2]--2.2 等值公式.mp4
│      [2.3]--2.3 命题公式与真值表的关系.mp4
│      [2.4]--2.4 联结词的完备集.mp4
│      [2.5]--2.5 对偶式.mp4
│      [2.6]--2.6 范式（一）.mp4
│      [2.7]--2.7 范式（二）.mp4
│      [2.8]--2.8 推理形式与基本推理公式.mp4
│      [2.9]--2.9 推理演算.mp4
│      
├─{3}--第3章 命题逻辑的公理化
│      [3.1]--3.1 命题逻辑的公理系统介绍.mp4
│      [3.2]--3.2 罗素公理系统.mp4
│      [3.3]--3.3 公理系统的完备性和演绎定理.mp4
│      [3.4]--3.4 王浩算法.mp4
│      
├─{4}--第4章 谓词逻辑的基本概念
│      [4.1]--4.1 谓词与个体词.mp4
│      [4.2]--4.2 函数与量词.mp4
│      [4.3]--4.3 合式公式.mp4
│      [4.4]--4.4 自然语句的形式化.mp4
│      [4.5]--4.5 有限域下公式的表示法、公式的普遍有效性与判定问题.mp4
│      
├─{5}--第5章 谓词逻辑的等值和推理演算
│      [5.1]--5.1 谓词逻辑的等值式.mp4
│      [5.2]--5.2 等值演算规则.mp4
│      [5.3]--5.3 范式.mp4
│      [5.4]--5.4 基本推理公式.mp4
│      [5.5]--5.5 推理演算.mp4
│      [5.6]--5.6 归结推理.mp4
│      
├─{6}--第6章 集合
│      [6.10]--6.10 集合论公理系统（二）.mp4
│      [6.1]--6.1 集合论介绍（一）.mp4
│      [6.2]--6.2 集合论介绍（二）.mp4
│      [6.3]--6.3 集合的概念与表示方法.mp4
│      [6.4]--6.4 集合间的关系与特殊集合.mp4
│      [6.5]--6.5 集合的运算.mp4
│      [6.6]--6.6 集合运算的性质（一）.mp4
│      [6.7]--6.7 集合运算的性质（二）.mp4
│      [6.8]--6.8 有限集合的基数.mp4
│      [6.9]--6.9 集合论公理系统（一）.mp4
│      
├─{7}--第7章 关系
│      [7.10]--7.10 偏序关系（二）.mp4
│      [7.1]--7.1 二元关系.mp4
│      [7.2]--7.2 关系矩阵和关系图.mp4
│      [7.3]--7.3 关系的逆、合成、限制和象.mp4
│      [7.4]--7.4 关系的性质.mp4
│      [7.5]--7.5 关系的闭包（一）.mp4
│      [7.6]--7.6 关系的闭包（二）.mp4
│      [7.7]--7.7 等价关系与划分.mp4
│      [7.8]--7.8 相容关系与覆盖.mp4
│      [7.9]--7.9 偏序关系（一）.mp4
│      
├─{8}--第8章 函数
│      [8.1]--8.1 函数与选择公理（一）.mp4
│      [8.2]--8.2 函数与选择公理（二）.mp4
│      [8.3]--8.3 函数的合成与函数的逆.mp4
│      [8.4]--8.4 函数的性质.mp4
│      [8.5]--8.5 特征函数、模糊子集.mp4
│      
└─{9}--第9章 实数集合与集合的基数
        [9.1]--9.1 实数集合.mp4
        [9.2]--9.2 集合的等势.mp4
        [9.3]--9.3 有限集合与无限集合、集合的基数.mp4
        [9.4]--9.4 基数的算术运算、基数的比较、可数集合与连续统假设.mp4

游客，如果您要查看本帖隐藏内容请回复

sakura_dmz

啥也不说了，感谢楼主分享哇！

Fatmouse

啥也不说了，感谢楼主分享哇！

3193305742

啥也不说了，感谢楼主分享哇！

dsyydd1221

啥也不说了，感谢楼主分享哇！

bai615

啥也不说了，感谢楼主分享哇！

xiaod

啥也不说了，感谢楼主分享哇！

qae3000

确实是难得好帖啊，顶先

Fantasory

啥也不说了，感谢楼主分享哇！

mayongz2023

啥也不说了，感谢楼主分享哇！