离散数学
中国矿业大学（北京）网络教学平台
主讲教师：矫立斌
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.1 课程简介 |
文档
.pdf
|
2025-08-29 | 1020.25KB | ||
| 2.1 引言 |
文档
.pdf
|
2025-08-29 | 1.63MB | ||
| 2.1.1 三次数学危机 |
文档
.pdf
|
2025-10-10 | 1.24MB | ||
| 2.1.2 基础：逻辑与证明 |
文档
.pdf
|
2025-10-10 | 361.01KB | ||
| 2.2 表示与解释 |
文档
.pdf
|
2025-08-29 | 3.27MB | ||
| 2.2.1 引言 |
文档
.pdf
|
2025-10-10 | 856.60KB | ||
| 2.2.2 命题 |
文档
.pdf
|
2025-10-10 | 782.78KB | ||
| 2.2.3 联结词 |
文档
.pdf
|
2025-10-10 | 868.34KB | ||
| 2.2.4 命题符号化 |
文档
.pdf
|
2025-10-10 | 658.46KB | ||
| 2.2.5 谓词 |
文档
.pdf
|
2025-10-10 | 746.32KB | ||
| 2.2.6 量词 |
文档
.pdf
|
2025-10-10 | 742.57KB | ||
| 2.2.7 命题公式 |
文档
.pdf
|
2025-10-10 | 1014.28KB | ||
| 2.2.8 谓词公式 |
文档
.pdf
|
2025-10-10 | 956.65KB | ||
| 2.2.9 对偶 |
文档
.pdf
|
2025-10-11 | 564.43KB | ||
| 2.2.10 命题公式标准型：范式 |
文档
.pdf
|
2025-10-11 | 833.26KB | ||
| 2.2.11 命题公式标准型：主范式 |
文档
.pdf
|
2025-10-11 | 924.88KB | ||
| 2.2.12 谓词公式标准型：前束范式 |
文档
.pdf
|
2025-10-11 | 772.04KB | ||
| 2.3 推理 |
文档
.pdf
|
2025-08-29 | 4.41MB | ||
| 2.3.1 回顾“基础：逻辑与证明” |
文档
.pdf
|
2025-10-10 | 391.47KB | ||
| 2.3.2 命题公式逻辑等价 |
文档
.pdf
|
2025-10-10 | 914.79KB | ||
| 2.3.3 命题公式逻辑蕴涵 |
文档
.pdf
|
2025-10-10 | 699.93KB | ||
| 2.3.4 谓词公式逻辑等价 |
文档
.pdf
|
2025-10-10 | 734.08KB | ||
| 2.3.5 谓词公式逻辑蕴涵 |
文档
.pdf
|
2025-10-10 | 676.10KB | ||
| 2.3.6 有效论证和有效论证形式 |
文档
.pdf
|
2025-10-10 | 949.65KB | ||
| 2.3.7 术语 |
文档
.pdf
|
2025-10-10 | 319.87KB | ||
| 2.3.8 命题演算：直接证明 |
文档
.pdf
|
2025-10-10 | 781.68KB | ||
| 2.3.9 命题演算：反证法 |
文档
.pdf
|
2025-10-10 | 673.81KB | ||
| 2.3.10 命题演算：附加前提证明 |
文档
.pdf
|
2025-10-10 | 614.03KB | ||
| 2.3.11 其他证明方法与策略 |
文档
.pdf
|
2025-10-10 | 702.18KB | ||
| 2.3.12 谓词演算 |
文档
.pdf
|
2025-10-10 | 1006.46KB | ||
| 2.4 本篇总结 |
文档
.pdf
|
2025-10-11 | 551.85KB | ||
| 3.1 集合 |
文档
.pdf
|
2025-08-29 | 1.98MB | ||
| 3.2 二元关系 |
文档
.pdf
|
2025-08-29 | 3.27MB | ||
|
文档
.pdf
|
2025-08-29 | 472.62KB | |||
| 3.3 函数 |
文档
.pdf
|
2025-08-29 | 1.19MB | ||
| 3.4 集合的基数 |
文档
.pdf
|
2025-08-29 | 751.52KB | ||
| 4.1 代数系统 |
文档
.pdf
|
2025-08-29 | 1.83MB | ||
| 4.2 群论初步 |
文档
.pdf
|
2025-08-29 | 2.21MB | ||
|
文档
.pdf
|
2025-08-29 | 1.17MB | |||
| 4.3 格与布尔代数 |
文档
.pdf
|
2025-08-29 | 1.62MB | ||
| 5.1 图的基本概念 |
文档
.pdf
|
2025-08-29 | 2.26MB | ||
| 5.2 图的连通性 |
文档
.pdf
|
2025-08-29 | 1.44MB | ||
| 5.3 图的矩阵表示 |
文档
.pdf
|
2025-08-29 | 1.10MB | ||
| 5.4 特殊图 |
文档
.pdf
|
2025-08-29 | 4.99MB |
文档