离散数学
复习讲义
按“逻辑 → 集合与关系 → 代数结构 → 图与树 → 组合计数”的学习顺序组织。每章包含概念解释、例题、练习、答案解析、易错点与章节总结。
使用方式
先从章节讲义回顾概念与方法，再进入统一题库选择对应章节，最后使用考前总复习页核对公式、定义与易混概念。
十章学习导航
输入关键词可筛选章节名称与要点。
已完成
01 命题逻辑
命题、联结词、真值表、等值演算、范式与卡诺图。
已完成
02 谓词逻辑
个体域、量词、辖域、符号化与量词否定。
已完成
03 集合
集合运算、恒等式、对称差、幂集与笛卡尔积。
已完成
04 二元关系
关系性质、闭包、等价类、偏序与 Hasse 图。
已完成
05 函数
映射、单射、满射、双射、复合与逆函数。
已完成
06 代数系统
二元运算、群、子群、循环群、陪集与 Lagrange 定理。
已完成
07 图论
度、连通、Euler/Hamilton、平面图与矩阵表示。
已完成
08 树
树性质、生成树、最小生成树、二叉树与 Huffman 树。
已完成
09 组合数学
计数原理、排列组合、二项式、鸽巢、容斥与递推。
已完成
10 布尔代数
恒等式、标准型、对偶、反演与卡诺图化简。