离散数学
整理定义、证明方法与反例。
覆盖范围: 图论、数理逻辑、集合、关系、函数与基数。
按章节阅读;有速览的章节可在两种版本之间切换。
| 章节 | 详版 | 速览 |
|---|---|---|
| 图论 | 阅读 | 阅读 |
| 数理逻辑 | 阅读 | 阅读 |
| 集合、关系、函数与基数 | 阅读 | 阅读 |
交互演示
跳转到:交互演示- 不可数集合与 Cantor 定理:逐步观察对角线论证。
- Schröder–Bernstein 定理:通过映射和链理解等势证明。
- 函数空间的等势:探索函数集合之间的对应关系。
- 无桥图与边集二分:反例:用反例检验关于图的划分的直觉。
离线阅读
跳转到:离线阅读下载本课程笔记包(ZIP),内含本站的 Markdown 笔记与 HTML 演示。
更多校内资料可前往传承·交大,需要交大账号登录。