离散数学 1
1 离 散 数 学
主要内容 ■数理逻辑 ■集合论 ■代数结构 ■图论 2
2 主要内容 数理逻辑 集合论 代数结构 图论
教材与教学参考书 教材： ·耿素云、屈婉玲，离散数学（修订版)，高等 教育出版社，2004. ■教学参考书： ·屈婉玲、耿素云，离散数学学习指导与习题解 析，高等教育出版社，2005. 3
3 教材与教学参考书 教材： 耿素云、屈婉玲，离散数学（修订版），高等 教育出版社, 2004. 教学参考书： 屈婉玲、耿素云，离散数学学习指导与习题解 析，高等教育出版社，2005
数理逻辑部分 第1章命题逻辑基本概念 第2章命题逻辑等值演算 ■第3章命题逻辑的推理理论 ■第4章一阶逻辑基本概念 ■第5章一阶逻辑等值演算与推理
4 数理逻辑部分 第1章 命题逻辑基本概念 第2章 命题逻辑等值演算 第3章 命题逻辑的推理理论 第4章 一阶逻辑基本概念 第5章 一阶逻辑等值演算与推理
第1章命题逻辑基本概念 1.1命题符号化及联结词 1.2命题公式及其赋值 5
5 第1章 命题逻辑基本概念 1.1 命题符号化及联结词 1.2 命题公式及其赋值