前言
原本想基于 离散数学 课本做一系列的学习笔记的，但学长推了一下他的学习记录的博客，感觉做的很好，故在这里按课本目录顺序转载一下学长的博客链接。
第一章和第二章 命题逻辑，一阶逻辑
【数理逻辑】命题逻辑的等值演算与推理演算 ( 命题逻辑 | 等值演算 | 主合取 ( 析取 ) 范式 | 推理演算 ) ★★
【数理逻辑】谓词逻辑的等值演算与推理演算 ( 个体词 | 谓词 | 量词 | 谓词逻辑公式 | 两个基本公式 | 命题符号化技巧 | 命题符号化示例 ) ★★
【数理逻辑】范式 ( 合取范式 | 析取范式 | 大项 | 小项 | 极大项 | 极小项 | 主合取范式 | 主析取范式 | 等值演算方法求主析/合取范式 | 真值表法求主析/合取范式 )
第三章 集合的基本概念和运算
【集合论】划分 ( 划分 | 划分示例 | 划分与等价关系 )
第四章 二元关系和函数
【集合论】二元关系 ( 二元关系记法 | A 到 B 的二元关系 | 二元关系个数 | 二元关系示例 )
【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )
【集合论】等价关系个数计算问题 ( 有序对个数计算 | 二元关系个数计算 | 划分 | 等价关系 )
【集合论】关系闭包 ( 关系闭包求法 | 关系图求闭包 | 关系矩阵求闭包 | 闭包运算与关系性质 | 闭包复合运算 )
【集合论】序关系 : 总结 ( 偏序关系 | 偏序集 | 可比 | 严格小于 | 覆盖 | 哈斯图 | 全序关系 | 拟序关系 | 偏序关系八种特殊元素 | 链 | 反链 ) ★★
第五章 图的基本概念
【图论】简单 概念 及 公式 入门 ( 完全图 | 二部图 | 连通图 | 欧拉回路 | 哈密顿圈 | 平面图 | 欧拉定理 )