|
|
本站资源全部免费,回复即可查看下载地址!
您需要 登录 才可以下载或查看，没有帐号？立即注册
x
├─{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
|
|
发表于 2025-8-1 14:00:00
发表于 2025-8-1 15:49:30
发表于 2025-8-1 23:41:12
