Lectures on Discrete Mathematics @ software.nju.edu.cn
- 《离散数学结构》
- 《离散数学及其应用》
- 《计算机科学中的数学》
- 《具体数学》
| 周次 | 日期 (周四) | 主题 | 阅读材料 |
|---|---|---|---|
| 1 | 2021-03-04 | 0-overview | |
| 2 | 2021-03-11 | 1-prop-logic | |
| 3 | 2021-03-18 | 2-predicate-logic | |
| 4 | 2021-03-25 | 3-mathematical-induction | |
| 5 | 2021-04-01 | 4-set | |
| 6 | 2021-04-08 | 5-relation | |
| 7 | 2021-04-15 | 6-function | |
| 8 | 2021-04-22 | 7-ordering | |
| 9 | 2021-04-29 | 8-infinity | |
| 10 | 2021-05-06 | 9-paths-cycles | |
| 11 | 2021-05-13 | 10-trees | |
| 12 | 2021-05-20 | 11-planarity-coloring | |
| 13 | 2021-05-27 | 12-matching-flow | |
| 14 | 2021-05-29 | 13-group | |
| 15 | 2021-06-03 | 14-subgroup | |
| 16 | 2021-06-10 | 15-review |
- Coq
- SAT
- SageMath
- Mathematica
- 1B3B
- OCW
- Logic
- Proof
- Lossless Compression (Pigeonhole Principle)
- Increasing/Decreasing Subsequences (Paul Erdos)
- Art gallery problem
- Set Theory
- Cantor-Schröder–Bernstein
- Group Theory
- 15-Puzzle
- Burnside Lemma (in Group Theory)
- Graph Theory
- 5-Color Theorem
- Cayley's Formula (Counting Trees)
- Network flow, Hall theorem, Maximum-matching theorem, Dilworth theorem