离散数学
1 离散数学
主要内容 ■数理逻辑 ■集合论 ■代数结构 ■图论 组合分析初步 ■形式语言和自动机初步
2 主要内容 ◼ 数理逻辑 ◼ 集合论 ◼ 代数结构 ◼ 图论 ◼ 组合分析初步 ◼ 形式语言和自动机初步
教材与教学参考书 ■教材: □耿素云、屈婉玲、张立昂,离散数学(第三 版),清华大学出版社,2004 教学参考书: □屈婉玲、耿素云、张立昂,离散数学题解(修 订版),清华大学出版社,2004
3 教材与教学参考书 ◼ 教材： 耿素云、屈婉玲、张立昂，离散数学（第三 版），清华大学出版社, 2004. ◼ 教学参考书： 屈婉玲、耿素云、张立昂，离散数学题解（修 订版），清华大学出版社，2004
数理逻辑部分 ■第1章命题逻辑 第2章一阶逻辑
4 数理逻辑部分 ◼ 第1章 命题逻辑 ◼ 第2章 一阶逻辑
第1章命题逻辑 11命题符号化及联结词 12命题公式及分类 1.3等值演算 1.4对偶与范试 1.5推理理论
5 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 对偶与范试 1.5 推理理论