§离散数学与编译原理参考书目：
《离散数学（第三版）》耿素云、屈婉玲、张立昂编，清华大学出版社 2004
§离散数学与编译原理考试大纲：
1. 命题逻辑与一阶逻辑 1.1. 联结词、量词、谓词 1.2. 命题逻辑范式 1.3. 合式公式、解释、等值式 1.4. 推理理论 2. 集合与关系 2.1. 集合的运算与性质 2.2. 关系的运算、性质与闭包 2.3. 等价关系与偏序关系 2.4. 函数的运算与性质 3. 代数系统 3.1. 代数系统及其同态与同构 3.2. 半群与群 3.3. 格与布尔代数 4. 图与树 4.1. 图的定义与表示 4.2. 图的连通性、欧拉图、哈密尔顿图 4.3. 二部图、平面图 4.4. 树、生成树与根树
《离散数学（第三版）》耿素云、屈婉玲、张立昂编，清华大学出版社 2004
§离散数学与编译原理考试大纲：
1. 命题逻辑与一阶逻辑 1.1. 联结词、量词、谓词 1.2. 命题逻辑范式 1.3. 合式公式、解释、等值式 1.4. 推理理论 2. 集合与关系 2.1. 集合的运算与性质 2.2. 关系的运算、性质与闭包 2.3. 等价关系与偏序关系 2.4. 函数的运算与性质 3. 代数系统 3.1. 代数系统及其同态与同构 3.2. 半群与群 3.3. 格与布尔代数 4. 图与树 4.1. 图的定义与表示 4.2. 图的连通性、欧拉图、哈密尔顿图 4.3. 二部图、平面图 4.4. 树、生成树与根树