1.集合论
研究对象的归集、成员归属，是离散体系最底层的数据模型。
记录学了什么
Note
好记性不如烂笔头
2.计数问题
在有限集合上统计元素数量，包含排列、组合、容斥原理等计数方法。
3.命题逻辑
以命题为单元，研究真假判断、逻辑推演与复合命题运算规则。
4.谓词逻辑
引入变量与量词，扩展命题逻辑，可描述对象的属性与量化断言。
5.证明技术
构建严谨推理链条，掌握直接证、反证法、数学归纳法等证明范式。
6.二元关系
刻画两个集合元素之间的关联，如映射、序关系，是建模的基础工具。
7.特殊关系
研究等价关系、偏序关系等，用于分类、排序与结构化组织元素。
8.函数
一类特殊二元关系，强调输入到输出唯一确定的映射规则。
9.图
由顶点与边构成，描述对象之间的连接拓扑，广泛用于网络建模。
10.树
无环路连通图，层次化结构，常用于搜索、存储与路由算法。
11.特殊图
包含欧拉图、哈密顿图、平面图等，研究图的专属性质与判定条件。
12.代数关系
在集合上定义封闭运算，研究运算满足的公理，如结合律、交换律。
13.群
典型代数结构，具备封闭、可逆等性质，是对称性研究的核心工具。