文件列表:

0-overview/ (0, 2022-01-10)
0-overview/0-overview-handout.pdf (3034372, 2022-01-10)
0-overview/0-overview.pdf (3180060, 2022-01-10)
0-overview/0-overview.tex (771, 2022-01-10)
0-overview/Ludii-Player/ (0, 2022-01-10)
0-overview/Ludii-Player/Ludii-1.1.15.jar (11311775, 2022-01-10)
0-overview/figs/ (0, 2022-01-10)
0-overview/figs/15-puzzle-init.jpeg (12856, 2022-01-10)
0-overview/figs/15-puzzle-unsolvable.png (40472, 2022-01-10)
0-overview/figs/15-puzzle-wiki.png (40511, 2022-01-10)
0-overview/figs/4-men-women.png (15714, 2022-01-10)
0-overview/figs/Fraenkel.jpg (69019, 2022-01-10)
0-overview/figs/HuaRongDao.jpg (68917, 2022-01-10)
0-overview/figs/HuoRongDao-init.jpeg (0, 2022-01-10)
0-overview/figs/K5-2coloring.png (4347, 2022-01-10)
0-overview/figs/Klotski.jpg (26895, 2022-01-10)
0-overview/figs/Zermelo.jpg (46407, 2022-01-10)
0-overview/figs/axiomatic-systems.png (11280, 2022-01-10)
0-overview/figs/bridg-it.png (36838, 2022-01-10)
0-overview/figs/dm-structures-ch.png (175065, 2022-01-10)
0-overview/figs/dm-structures-en.jpg (28095, 2022-01-10)
0-overview/figs/dont-wait.jpeg (6813, 2022-01-10)
0-overview/figs/elements-ch.jpeg (335271, 2022-01-10)
0-overview/figs/euler-logic.jpg (32861, 2022-01-10)
0-overview/figs/friends-strangers-graph.gif (49093, 2022-01-10)
0-overview/figs/friends-strangers-graph.png (37364, 2022-01-10)
0-overview/figs/github-hw.png (54432, 2022-01-10)
0-overview/figs/github-lectures.png (68226, 2022-01-10)
0-overview/figs/github-repositories.png (72304, 2022-01-10)
0-overview/figs/hilbert-geometry.jpg (20834, 2022-01-10)
0-overview/figs/knuth-chair.jpg (15699, 2022-01-10)
0-overview/figs/knuth.jpg (60610, 2022-01-10)
0-overview/figs/math-in-cs.jpg (83769, 2022-01-10)
0-overview/figs/math-tree.jpg (157434, 2022-01-10)
0-overview/figs/matters.png (10862, 2022-01-10)
0-overview/figs/n=1.png (1269, 2022-01-10)
0-overview/figs/n=2-triangle-bottom.png (4602, 2022-01-10)
0-overview/figs/n=2-triangle.png (4575, 2022-01-10)
... ...

# discrete-math-lectures Lectures on [Discrete Mathematics @ software.nju.edu.cn](https://github.com/orgs/courses-at-nju-by-hfwei/teams/discrete-math-at-nju-software/repositories) ## 阅读材料 - 《离散数学结构》 - 《离散数学及其应用》 - 《计算机科学中的数学》 - 《具体数学》 ## 周历 | 周次 | 日期 (周四) | 主题 | 阅读材料 | | :---: | :---: | :---: | :---: | | 1 | 2021-03-04 | [0-overview](/0-overview) | | | 2 | 2021-03-11 | [1-prop-logic](/1-prop-logic) | | | 3 | 2021-03-18 | [2-predicate-logic](2-predicate-logic) | | | 4 | 2021-03-25 | [3-mathematical-induction](/3-mathematical-induction) | | | 5 | 2021-04-01 | [4-set](/4-set) | | | 6 | 2021-04-08 | [5-relation](/5-relation) | | | 7 | 2021-04-15 | [6-function](/6-function) | | | 8 | 2021-04-22 | [7-ordering](/7-ordering) | | | 9 | 2021-04-29 | [8-infinity](/8-infinity) | | | 10 | 2021-05-06 | [9-paths-cycles](/9-paths-cycles) | | | 11 | 2021-05-13 | [10-trees](/10-trees) | | | 12 | 2021-05-20 | [11-planarity-coloring](/11-planarity-coloring) | | | 13 | 2021-05-27 | [12-matching-flow](/12-matching-flow) | | | 14 | 2021-05-29 | [13-group](/13-group) | | | 15 | 2021-06-03 | [14-subgroup](/14-subgroup) | | | 16 | 2021-06-10 | [15-review](/15-review) | | ## 后续课程建设计划 - Coq - SAT - SageMath - Mathematica - 1B3B ## TODO - OCW - Logic - Proof - Lossless Compression (Pigeonhole Principle) - Increasing/Decreasing Subsequences (Paul Erdos) - [Art gallery problem](https://en.wikipedia.org/wiki/Art\_gallery\_problem) - Set Theory - Cantor-Schrder–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

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：