计算机应用专业专科转本科的必修科教材，作为自学课本，我们在取材上力求注重基础，基本与完整，在叙述上力求深入浅出，使自学者能够举一反三，触类旁通。全书共分数理逻辑、集合论、代数系统与图论四个部分，自学学时为三学分，约合72个自学学时。为了适应自学者学习需要，书中所列定义、定理、均属基本概念，必须理解，记忆。但有些定理未曾给出证明，若证明中列出“证明从略”，即可略尔不记。若证明中注出“留作习题”，则必须通过自学，搞清题意与证明方法，自己完成独立证明。其余理解与解题要求均需按所附考纲要求分别完成。 离散数学第1章命题演算1.1命题概念1.2复合命题与联结词1.3命题公式与真值表1.4等价变换与蕴含式1.5最小联结词组与范式1.6推理理论第2章谓词演算2.1谓词的概念与表示2.2量词与合式公式2.3谓词演算的等价式与蕴含式2.4前束范式2.5谓词演算的推理理论第3章集合与函数3.1集合的基本概念3.2集合的运算3.3笛卡尔积与关系3.4关系的表示与关系性质3.5关系运算与闭包3.6相容关系与覆盖3.7等价关系与划分3.8序关系3.9函数的概念3.10复合函数与逆函数第4章代数结构4.1代数系统4.2半群与独异点4.3群与子群4.4环与域4.5格与子格4.6分配格与有补格4.7布尔代数第5章图论5.1图的基本概念5.2路与回路图的连通性5.3图的矩阵表示5.4欧拉图与汉密尔顿图5.5平面图5.6树及应用参考书目离散数学自学考试大纲出版前言一、课程的性质及其设置目的和要求二、课程内容与考核目标第1章命题演算第2章谓词演算第3章集合与函数第4章代数结构第5章图论三、有关说明与实施要求附录题型举例后记