主讲教师:金忠
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.1 命题和联结词 |
视频
.mp4
|
2023-02-11 | 677.18MB | ||
|
视频
.mp4
|
2023-02-11 | 328.46MB | |||
| 1.2 真假性 |
视频
.mp4
|
2022-11-10 | 520.37MB | ||
| 1.3 范式及其应用 |
视频
.mp4
|
2022-11-10 | 520.37MB | ||
| 1.4 作业讲解01-02 |
视频
.mp4
|
2022-12-16 | 47.51MB | ||
|
视频
.mp4
|
2022-12-16 | 79.41MB | |||
| 2.1 命题演算的公理系统 |
视频
.mp4
|
2022-11-10 | 538.64MB | ||
| 2.2 若干重要的导出规则 |
视频
.mp4
|
2022-11-10 | 538.64MB | ||
| 2.3 命题演算的假设推理系统 |
视频
.mp4
|
2022-11-10 | 499.05MB | ||
| 2.4 命题演算的归结推理法 |
视频
.mp4
|
2022-11-10 | 499.05MB | ||
| 2.5 作业讲解03-04 |
视频
.mp4
|
2022-12-16 | 34.71MB | ||
|
视频
.mp4
|
2022-12-16 | 41.87MB | |||
| 3.1 谓词和个体 |
视频
.mp4
|
2022-11-10 | 548.42MB | ||
| 3.2 函数项和量词 |
视频
.mp4
|
2022-11-10 | 548.42MB | ||
| 3.3 自由变元和约束变元 |
视频
.mp4
|
2022-11-10 | 550.00MB | ||
| 3.4 永真性和可满足性 |
视频
.mp4
|
2022-11-10 | 550.00MB | ||
| 3.5 作业讲解05-06 |
视频
.mp4
|
2022-12-16 | 79.23MB | ||
|
视频
.mp4
|
2022-12-16 | 42.42MB | |||
| 4.1 谓词演算的永真推理系统 |
视频
.mp4
|
2022-11-10 | 636.94MB | ||
|
视频
.mp4
|
2022-11-10 | 270.82MB | |||
| 4.2 谓词演算的假设推理系统 |
视频
.mp4
|
2022-11-10 | 636.94MB | ||
|
视频
.mp4
|
2022-11-10 | 270.82MB | |||
|
视频
.mp4
|
2022-11-10 | 669.67MB | |||
|
视频
.mp4
|
2022-11-10 | 321.79MB | |||
| 4.3 谓词演算的归结推理系统 |
视频
.mp4
|
2022-11-10 | 669.67MB | ||
|
视频
.mp4
|
2022-11-10 | 321.79MB | |||
|
视频
.mp4
|
2022-11-10 | 664.60MB | |||
|
视频
.mp4
|
2022-11-10 | 298.26MB | |||
| 4.4 Prolog简介 |
视频
.mp4
|
2022-11-10 | 664.60MB | ||
|
视频
.mp4
|
2022-11-10 | 298.26MB | |||
| 4.5 作业讲解07-09 |
视频
.mp4
|
2022-12-16 | 15.78MB | ||
|
视频
.mp4
|
2022-12-16 | 32.31MB | |||
|
视频
.mp4
|
2022-12-16 | 24.25MB | |||
| 5.1 数论函数和数论谓词 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 5.2 函数的构造 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 5.3 作业讲解10-11 |
视频
.mp4
|
2022-12-16 | 26.92MB | ||
|
视频
.mp4
|
2022-12-16 | 690.74MB | |||
|
视频
.mp4
|
2022-12-16 | 307.55MB | |||
| 6.1 集合的基本概念 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-16 | 788.59MB | |||
|
视频
.mp4
|
2022-12-16 | 241.67MB | |||
| 6.2 集合的基本运算 |
视频
.mp4
|
2022-11-10 | 788.59MB | ||
|
视频
.mp4
|
2022-11-10 | 241.67MB | |||
| 6.3 全集和补集 |
视频
.mp4
|
2022-11-10 | 788.59MB | ||
|
视频
.mp4
|
2022-11-10 | 241.67MB | |||
| 6.4 自然数和自然数集 |
视频
.mp4
|
2022-11-10 | 690.74MB | ||
|
视频
.mp4
|
2022-11-10 | 307.55MB | |||
| 6.5 包含与排斥原理 |
视频
.mp4
|
2022-11-10 | 690.74MB | ||
|
视频
.mp4
|
2022-11-10 | 307.55MB | |||
| 6.6 作业讲解12-13 |
视频
.mp4
|
2022-11-10 | 971.31MB | ||
|
视频
.mp4
|
2022-11-10 | 311.83MB | |||
|
视频
.mp4
|
2022-11-10 | 824.61MB | |||
|
视频
.mp4
|
2022-11-10 | 323.30MB | |||
| 7.1 集合的笛卡尔积集 |
视频
.mp4
|
2022-11-10 | 971.31MB | ||
|
视频
.mp4
|
2022-11-10 | 311.83MB | |||
| 7.2 二元关系的基本概念 |
视频
.mp4
|
2022-11-10 | 971.31MB | ||
|
视频
.mp4
|
2022-11-10 | 311.83MB | |||
| 7.4 二元关系的性质 |
视频
.mp4
|
2022-11-10 | 824.61MB | ||
|
视频
.mp4
|
2022-11-10 | 323.30MB | |||
| 7.5 二元关系的闭包运算 |
视频
.mp4
|
2022-11-10 | 824.61MB | ||
|
视频
.mp4
|
2022-11-10 | 323.30MB | |||
|
视频
.mp4
|
2022-11-10 | 789.60MB | |||
|
视频
.mp4
|
2022-11-10 | 303.52MB | |||
| 7.6 等价关系和集合的划分 |
视频
.mp4
|
2022-11-10 | 789.60MB | ||
|
视频
.mp4
|
2022-11-10 | 303.52MB | |||
| 7.7 偏序关系和格 |
视频
.mp4
|
2022-11-10 | 731.34MB | ||
|
视频
.mp4
|
2022-11-10 | 287.91MB | |||
| 7.8 作业讲解14-17 |
视频
.mp4
|
2022-12-16 | 29.03MB | ||
|
视频
.mp4
|
2022-12-16 | 21.22MB | |||
|
视频
.mp4
|
2022-12-16 | 836.01MB | |||
|
视频
.mp4
|
2022-12-16 | 281.94MB | |||
|
视频
.mp4
|
2022-12-16 | 26.61MB | |||
| 8.1 函数的基本概念 |
视频
.mp4
|
2022-11-10 | 836.01MB | ||
|
视频
.mp4
|
2022-11-10 | 281.94MB | |||
| 8.2 函数的复合和逆函数 |
视频
.mp4
|
2022-11-10 | 836.01MB | ||
|
视频
.mp4
|
2022-11-10 | 281.94MB | |||
|
视频
.mp4
|
2022-11-10 | 771.49MB | |||
|
视频
.mp4
|
2022-11-10 | 256.52MB | |||
| 8.3 无限集 |
视频
.mp4
|
2022-11-10 | 771.49MB | ||
|
视频
.mp4
|
2022-11-10 | 256.52MB | |||
| 8.4 集合势大小的比较 |
视频
.mp4
|
2022-11-10 | 1.00GB | ||
|
视频
.mp4
|
2022-11-10 | 282.46MB | |||
| 8.5 鸽巢原理 |
视频
.mp4
|
2022-11-10 | 1.00GB | ||
|
视频
.mp4
|
2022-11-10 | 282.46MB | |||
| 8.6 作业讲解18-20 |
视频
.mp4
|
2022-12-16 | 17.80MB | ||
|
视频
.mp4
|
2022-12-16 | 20.24MB | |||
|
视频
.mp4
|
2022-12-16 | 14.42MB | |||
| 9.1 图的基本概念 |
视频
.mp4
|
2022-11-10 | 1.00GB | ||
|
视频
.mp4
|
2022-11-10 | 282.46MB | |||
|
视频
.mp4
|
2022-11-10 | 883.39MB | |||
|
视频
.mp4
|
2022-11-10 | 301.59MB | |||
| 9.2 图中的通路、图的连通性和图的矩阵表示 |
视频
.mp4
|
2022-11-10 | 883.39MB | ||
|
视频
.mp4
|
2022-11-10 | 301.59MB | |||
| 9.3 带权图与带权图中的最短通路 |
视频
.mp4
|
2022-11-10 | 801.41MB | ||
|
视频
.mp4
|
2022-11-10 | 346.99MB | |||
| 9.4 欧拉图 |
视频
.mp4
|
2022-11-10 | 801.41MB | ||
|
视频
.mp4
|
2022-11-10 | 346.99MB | |||
| 9.5 哈密顿图 |
视频
.mp4
|
2022-11-14 | 855.68MB | ||
|
视频
.mp4
|
2022-11-14 | 384.65MB | |||
| 9.6 二部图 |
视频
.mp4
|
2022-11-14 | 855.68MB | ||
|
视频
.mp4
|
2022-11-14 | 384.65MB | |||
| 9.7 平面图与平面图的着色 |
视频
.mp4
|
2022-11-18 | 976.52MB | ||
|
视频
.mp4
|
2022-11-18 | 297.67MB | |||
| 9.8 作业讲解21-24 |
视频
.mp4
|
2022-12-16 | 22.16MB | ||
|
视频
.mp4
|
2022-12-16 | 18.57MB | |||
|
视频
.mp4
|
2022-12-16 | 362.08MB | |||
|
视频
.mp4
|
2022-12-16 | 357.96MB | |||
| 10.1 树的基本概念 |
视频
.mp4
|
2022-11-25 | 362.08MB | ||
| 10.2 连通图的生成树和带权连通图的最小生成树 |
视频
.mp4
|
2022-11-25 | 798.30MB | ||
|
视频
.mp4
|
2022-11-25 | 357.96MB | |||
| 10.3 有序树 |
视频
.mp4
|
2022-11-28 | 797.17MB | ||
|
视频
.mp4
|
2022-11-28 | 291.37MB | |||
| 10.4 前缀码和最优2-分树 |
视频
.mp4
|
2022-11-28 | 797.17MB | ||
|
视频
.mp4
|
2022-11-28 | 291.37MB | |||
| 10.5 作业讲解25-27 |
视频
.mp4
|
2022-12-16 | 291.37MB | ||
|
视频
.mp4
|
2022-12-16 | 310.86MB | |||
|
视频
.mp4
|
2022-12-16 | 131.11MB | |||
| 11.1 代数运算的基本概念 |
视频
.mp4
|
2022-12-16 | 310.86MB | ||
| 11.2 代数系统和半群 |
视频
.mp4
|
2022-12-16 | 131.11MB | ||
| 11.3 群的基本概念 |
视频
.mp4
|
2022-12-16 | 150.00MB | ||
| 11.4 群的几个等价定义 |
视频
.mp4
|
2022-12-16 | 143.72MB | ||
| 11.5 变换群和置换群 |
视频
.mp4
|
2022-12-16 | 143.72MB | ||
| 11.6 循环群 |
视频
.mp4
|
2022-12-16 | 138.45MB | ||
| 11.7 子群 |
视频
.mp4
|
2022-12-16 | 138.45MB | ||
| 11.8 子群的陪集 |
视频
.mp4
|
2022-12-18 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-18 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-18 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-18 | 1.00Byte | |||
| 11.9 正规子群和商群 |
视频
.mp4
|
2022-12-23 | 149.99MB | ||
|
视频
.mp4
|
2022-12-23 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-23 | 1.00Byte | |||
| 11.10 环和域 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 11.11 作业讲解28-35 |
视频
.mp4
|
2023-02-11 | 150.00MB | ||
|
视频
.mp4
|
2023-02-11 | 13.62MB | |||
|
视频
.mp4
|
2023-02-11 | 21.65MB | |||
|
视频
.mp4
|
2023-02-11 | 20.94MB | |||
|
视频
.mp4
|
2023-02-11 | 19.35MB | |||
|
视频
.mp4
|
2023-02-11 | 149.99MB | |||
|
视频
.mp4
|
2023-02-11 | 10.13MB | |||
| 12.1 格定义的代数系统 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 12.2 格的代数定义 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 12.3 一些特殊的格 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 12.4 有限布尔代数的唯一性 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte | |||
| 12.5 布尔表达式和布尔函数 |
视频
.mp4
|
2022-12-16 | 1.00Byte | ||
|
视频
.mp4
|
2022-12-16 | 1.00Byte |