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